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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntransitiveRelation

 Sigma KEE - IntransitiveRelation
IntransitiveRelation(非传递关系)

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 2351-2353
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 472-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2349 非传递关系 是 二元关系 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2334-2334 传递关系 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 93-93 直接实例 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 151-151 直接子类别 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 108-108 逆向 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8360-8360 在时间上接着 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 组员 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16434-16434 父母 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4209-4209 穿过 是 非传递关系 的 instance
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
No TPTP formula. May not be expressible in strict first order. french_format.kif 576-576
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 106-106
No TPTP formula. May not be expressible in strict first order. terms-it.txt 109-109
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2261-2261
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 143-143
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 597-597
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 110-110

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2355-2363


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