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 2169-2170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8552-8552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9358-9358
No TPTP formula. May not be expressible in strict first order. Merge.kif 2167-2167 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 15725-15725 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23553-23553 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10142-10142 antagonist muscles is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1630-1630 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7830-7830 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15878-15878 brother is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16202-16202 classmate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16223-16223 colleague is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6134-6134 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15476-15476 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7359-7359 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2527-2527 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 4525-4525 diplomatic relations is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 408-408 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7995-7995 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8051-8051 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 7810-7810 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5624-5624 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1763-1763 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4243-4243 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4161-4161 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7999-7999 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15948-15948 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

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 2172-2176

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2198-2202 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 3.0 is open source software produced by Articulate Software and its partners