Extended Open Multilingual Wordnet 1.3

05780563-n 'an inference that follows directly from the proof of another proposition';

Definitions

Japanese: 他の命題の証明から直接導かれる推論
Italian: in matematica e in filosofia, proposizione dedotta da un'altra già dimostrata
Inggeris: an inference that follows directly from the proof of another proposition

Relations

External Links

TempoWN: ◁ ▲ ▷ (Past: 0.002; Present: 0.975; Future: 0.000)

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