04785195-n 'an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another';
Definitions
- Japanese
-
原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質
- English
-
an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
Relations
External Links
SUMO:
⊂ Attribute
TempoWN:
◁
▲
▷
(Past: 0.000;
Present: 0.469;
Future: 0.001)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
▲
▼
(+0.12
-0.12)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>