05780563-n 'an inference that follows directly from the proof of another proposition';
Definitions
- Japanese
-
他の命題の証明から直接導かれる推論
- English
-
an inference that follows directly from the proof of another proposition
Relations
External Links
SUMO:
⊂ Reasoning
TempoWN:
◁
▲
▷
(Past: 0.002;
Present: 0.975;
Future: 0.000)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
▲
▼
(+0.12
-0.12)
More detail about the Open Multilingual Wordnet (1.3)
This project is now integrated in the
Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>