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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitiveRelation
TransitiveRelation(transitive relation)transitive_relation, 传递关系, 推移関係

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2201-2201 Transitive relation is disjoint from intransitive relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1848-1850
No TPTP formula. May not be expressible in strict first order. Merge.kif 2203-2205
No TPTP formula. May not be expressible in strict first order. Merge.kif 2200-2200 Transitive 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 15024-15024 ancestor is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21833-21833 ancestor organization is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7507-7507 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15176-15176 brother is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6179-6179 conjugate is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27824-27824 covers is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3893-3893 crosses is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 446-446 dependent geopolitical area is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13134-13134 developmental form is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7633-7633 during is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7678-7678 earlier is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7485-7485 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Geography.kif 5103-5103 flows is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12871-12871 geographic subregion is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12916-12916 geopolitical subdivision is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1718-1718 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8952-8952 interior part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7192-7192 larger is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1706-1706 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3765-3765 located is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4531-4531 multiplicative factor is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3962-3962 precondition is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 888-888 proper part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15185-15185 sister is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7214-7214 smaller is an instance of transitive 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 2207-2214

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3427-3432
No TPTP formula. May not be expressible in strict first order. Merge.kif 3370-3375


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