06286230-n
'formal expression containing variables';
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Chinese (simplified)
命题 函项
,
命题 函数
,
命题函项
,
命题函数
Inggeris
sentential function
Definitions
Japanese
変数を含む論理的な式
変数が定数に置き換えられると命題になる
Inggeris
formal expression containing variables
becomes a sentence when variables are replaced by constants
Relations
Hypernym:
formula
Semantic Field:
communication
n
External Links
Langs:
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Preferences
Update Language Selection
Select All/None
Language Selection
Czech
Chinese (simplified)
English
Indonesian
Italian
Japanese
Yue Chinese
Malaysian
Update Language Selection
(0.02127 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<
bond@ieee.org
>