06751833-n 'a subsidiary proposition that is assumed to be true in order to prove another proposition';
 
汉语 引理
英语 lemma 4
日语 補助定理
Definitions
日语
他の命題を証明するために真であると想定される補足的命題
英语
a subsidiary proposition that is assumed to be true in order to prove another proposition
Relations
Hypernym: proposition
Semantic Field: communicationn
External Links

SUMO: ⊂ Sentence

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

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


Langs:

Preferences
(0.02495 seconds)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>