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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)
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 2124-2125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8554-8554 "http://upload.wikimedia.org/wikipedia/en/0/0b/GreaterThanOrEqualTo.png" is a URL depicting irreflexive relation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9362-9362 "http://upload.wikimedia.org/wikipedia/en/5/59/GreaterThan.png" is a URL depicting irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2122-2122 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 859-859 Back is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 837-837 Front is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15025-15025 ancestor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21834-21834 ancestor organization is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1590-1590 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7506-7506 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15175-15175 brother is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6177-6177 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14777-14777 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7417-7417 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2483-2483 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 7634-7634 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7679-7679 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 7486-7486 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5411-5411 graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4059-4059 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3977-3977 hindersSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8143-8143 hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15244-15244 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 2959-2959 in list 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 2127-2131

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2153-2157 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners