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 2199-2200
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 2197-2197 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 16093-16093 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23690-23690 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10218-10218 antagonist muscles is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1664-1664 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8009-8009 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16246-16246 brother is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16304-16304 classmate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16325 colleague is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6198-6198 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15839-15839 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7426-7426 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2563-2563 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 4536-4536 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 8217-8217 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8279-8279 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2381-2381 export partner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7979-7979 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5793-5793 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1793-1793 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4307-4307 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4225-4225 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8071-8071 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16316-16316 husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2668-2668 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 2234-2238
No TPTP formula. May not be expressible in strict first order. Merge.kif 2202-2206

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2228-2232


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