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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

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 15177-15177 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21967-21967 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 7663-7663 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15329-15329 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 14928-14928 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7400-7400 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 7791-7791 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7836-7836 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 7643-7643 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5565-5565 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 4223-4223 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4141 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8127-8127 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15398-15398 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners