ConceptNet 5: Query results

en particular proposition ^{(n, logic)}	― IsA ⟶ Weight: 2.0	en proposition ^{(n, logic)}	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 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 proposition ^{(n, act)}	― IsA ⟶ Weight: 2.0	en undertaking ^{(n, act)}	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	― IsA ⟶ Weight: 1.0	en meaning ⁽ⁿ⁾	Source: English Wiktionary
en thesis ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en proposition ⁽ⁿ⁾	Source: OpenCyc 2012
en rule ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en proposition ⁽ⁿ⁾	Source: OpenCyc 2012
en proposition true ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en proposition ⁽ⁿ⁾	Source: OpenCyc 2012
en theorem proposition ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en proposition ⁽ⁿ⁾	Source: OpenCyc 2012
en proposition ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en information content ⁽ⁿ⁾	Source: OpenCyc 2012
en proposition	― IsA ⟶ Weight: 0.5	en film ⁽ⁿ⁾	Source: DBPedia 2015