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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntransitiveRelation
IntransitiveRelation(intransitive relation)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1851-1853
No TPTP formula. May not be expressible in strict first order. Merge.kif 2297-2299
No TPTP formula. May not be expressible in strict first order. Merge.kif 2295-2295 Intransitive 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 2280-2280 Transitive relation is disjoint from intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 91-91 immediate instance is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 149-149 immediate subclass is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 106-106 inverse is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8232-8232 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1236-1236 member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16094-16094 parent is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4124-4124 penetrates is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 900-900
No TPTP formula. May not be expressible in strict first order. english_format.kif 1007-1007

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2301-2309


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