Edge list

Results from ConceptNet 5.8

Source: OpenCyc 2012
en modal scheme bf (n)
― IsA ⟶
Weight: 2.0
en modal operator (n) Source: OpenCyc 2012
en common binary modal operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod disjunctive syllogism dual (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen modal scheme k (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen de morgan (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod dilemma (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme b inverse (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme 4 inverse (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen conj introduction (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod duals (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod equality (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen modal scheme t (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en common unary modal operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en basic belief feature (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod identity (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod distinctness (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme e (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen commutativity conj (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen equality replacement (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme k dual (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal operator (n)
― IsA ⟶
Weight: 1.0
en modal predicate (n) Source: OpenCyc 2012
en modal scheme b (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod distributing over conj (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod bivalence (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod detachment weak (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod specificity (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme d (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en verbal tense operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen conditional exchange (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod dilemma (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod rational monotonicity (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen dilemma (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen truth constant (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod strengthening (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod hypothetical syllogism (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen mod hypothetical syllogism (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen conj elimination (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen contraposition (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod trivial implication (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme 4 (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod identity consequent (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en test feature (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en common modal operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen commutativity disj (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen univ elimination (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen equality (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen exist introduction (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen disj introduction (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en unary modal operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod non trivial (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en binary modal operator (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en closed under beckers rule (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod disjunctive syllogism (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod trivial centering (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod exist introduction (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme e inverse (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen double negation (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod weak monotonicity (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod univ elimination (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod semi transitivity (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en modal scheme w (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen hypothetical syllogism (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod distributing over disj (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en gen exportation (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en bi mod cut (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
en mod settled contingency (n)
― IsA ⟶
Weight: 1.0
en modal operator (n) Source: OpenCyc 2012
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.