06165364-n 'a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)';
Definitions
- Japanese
-
個々を表わし断定する記号論理学、および個々における量化のシステム(提案の関係と同様に)
- English
-
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Relations
External Links
SUMO:
∈ FieldOfStudy
TempoWN:
◁
△
▷
(Past: 0.000;
Present: 0.001;
Future: 0.000)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
△
▽
(+0.00
-0.00)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>