06751833-n 'a subsidiary proposition that is assumed to be true in order to prove another proposition';
Definitions
- English
-
a subsidiary proposition that is assumed to be true in order to prove another proposition
- Japanese
-
他の命題を証明するために真であると想定される補足的命題
Relations
External Links
SUMO:
⊂ Sentence
TempoWN:
◁
▲
▷
(Past: 0.000;
Present: 0.788;
Future: 0.002)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
▲
▼
(+0.25
-0.12)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>