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 2163-2164
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 2161-2161 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 15208-15208 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21973-21973 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1625-1625 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7676-7676 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15361-15361 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 14959-14959 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7402-7402 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2521-2521 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 410-410 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7805-7805 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7850-7850 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 7656-7656 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5575-5575 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1758-1758 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4228-4228 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4146-4146 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8129-8129 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15431-15431 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 2996-2996 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2501-2501 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 2166-2170

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2192-2196 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