en
proposition
(n, act)
|
― IsA ⟶
Weight: 2.0
|
en
undertaking
(n, act)
|
Source: Open Multilingual WordNet
|
en
theorem
(n, communication)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
conclusion
(n, communication)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
postulate
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
universal proposition
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
particular proposition
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
axiom
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
converse
(n, communication)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
negation
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
proposition
(n, communication)
|
― IsA ⟶
Weight: 2.0
|
en
offer
(n, communication)
|
Source: Open Multilingual WordNet
|
en
proposition
(n, logic)
|
― IsA ⟶
Weight: 2.0
|
en
statement
(n, communication)
|
Source: Open Multilingual WordNet
|
en
lemma
(n, communication)
|
― IsA ⟶
Weight: 2.0
|
en
proposition
(n, logic)
|
Source: Open Multilingual WordNet
|
en
proposition true
(n)
|
― IsA ⟶
Weight: 1.0
|
en
proposition
(n)
|
Source: OpenCyc 2012
|
en
proposition
(n)
|
― IsA ⟶
Weight: 1.0
|
en
information content
(n)
|
Source: OpenCyc 2012
|
en
rule
(n)
|
― IsA ⟶
Weight: 1.0
|
en
proposition
(n)
|
Source: OpenCyc 2012
|
en
thesis
(n)
|
― IsA ⟶
Weight: 1.0
|
en
proposition
(n)
|
Source: OpenCyc 2012
|
en
theorem proposition
(n)
|
― IsA ⟶
Weight: 1.0
|
en
proposition
(n)
|
Source: OpenCyc 2012
|