ConceptNet 5: Query results

en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen disj introduction ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations rn ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en closed under generalizations classical ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen exist introduction ⁽ⁿ⁾	Source: OpenCyc 2012
en extension of s 2 ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en closed under generalizations classical ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen univ elimination ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen truth constant ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen dilemma ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen equality ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen hypothetical syllogism ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen equality replacement ⁽ⁿ⁾	Source: OpenCyc 2012
en extension of s 1 ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en closed under generalizations classical ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen conj introduction ⁽ⁿ⁾	Source: OpenCyc 2012
en closed under generalizations classical ⁽ⁿ⁾	― IsA ⟶ Weight: 1.0	en gen conj elimination ⁽ⁿ⁾	Source: OpenCyc 2012