Extended Open Multilingual Wordnet 1.3

06647614-n ✪ 'a formal series of statements showing that if one thing is true something else necessarily follows from it';

Definitions

English: a formal series of statements showing that if one thing is true something else necessarily follows from it
Japanese: あるひとつのものが真実であるのならば、他の何かが必ずそれに追随することを示す供述の公式のシリーズ

Relations

Hyponym:	demonstration logical_proof mathematical_proof
Hypernym:	argument
Domain–Category:	logic mathematics
Semantic Field:	communication_n

External Links

TempoWN: ◁ △ ▶ (Past: 0.000; Present: 0.002; Future: 0.995)

SentiWN: ▲ ▽ (+0.25 -0.00) MLSentiCon: ▲ ▼ (+0.25 -0.12)