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 2251-2252
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 455-456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8551-8551
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9357-9357
No TPTP formula. May not be expressible in strict first order. Merge.kif 2249-2249 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 16347-16347 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24166-24166 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10660-10660 antagonist muscles is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1716-1716 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8097-8097 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16500-16500 brother is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16809-16809 classmate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16830-16830 colleague is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6491-6491 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16093-16093 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7711-7711 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 4544-4544 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 8307-8307 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8369-8369 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2370-2370 export partner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8067 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5887-5887 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1845-1845 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4389-4389 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4307-4307 hinders subclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8422-8422 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16570-16570 husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2658-2658 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 2286-2290
No TPTP formula. May not be expressible in strict first order. Merge.kif 2254-2258

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2280-2284


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