05780563-n 'an inference that follows directly from the proof of another proposition';
 
English corollary
Indonesian kesimpulan
Definitions
Japanese
他の命題の証明から直接導かれる推論
English
an inference that follows directly from the proof of another proposition
Relations
Hypernym: inference
Domain–Category: logic
Semantic Field: cognitionn
External Links

SUMO: ⊂ Reasoning

TempoWN: (Past: 0.002; Present: 0.975; Future: 0.000)

SentiWN: (+0.00 -0.00) MLSentiCon: (+0.12 -0.12)


Langs:

Preferences
(0.01940 seconds)
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>