06165147-n 'a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them';
Definitions
- English
-
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
- Japanese
-
主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派
Relations
External Links
SUMO:
∈ FieldOfStudy
TempoWN:
◁
▲
▷
(Past: 0.000;
Present: 0.057;
Future: 0.000)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
▲
▽
(+0.12
-0.00)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>