Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1835-1836
No TPTP formula. May not be expressible in strict first order. Merge.kif 2158-2159
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8554-8554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9362-9362
No TPTP formula. May not be expressible in strict first order. Merge.kif 2156-2156 Irreflexive relation is a subclass of binary relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15160-15160 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21994-21994 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1620-1620 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7640-7640 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15312-15312 brother is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6185-6185 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14911-14911 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7427-7427 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2516-2516 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 4475-4475 diplomatic relations is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 409-409 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7768-7768 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2374-2374 export partner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7620-7620 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5540-5540 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1753-1753 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4192-4192 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4110-4110 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8154-8154 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15381-15381 husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2661-2661 import partner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2991-2991 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2496-2496 increases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 106-106 inverse is an instance of irreflexive relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2161-2165

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2187-2191 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners