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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - partialOrderingOn
partialOrderingOn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2045-2047
No TPTP formula. May not be expressible in strict first order. Merge.kif 3645-3648
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 690-692
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 含偏序关系 的 1 数量 是 二元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3643-3643 含偏序关系 的 2 数量 是 类 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3641-3641 含偏序关系 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3640-3640 含偏序关系 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order. english_format.kif 164-164
No TPTP formula. May not be expressible in strict first order. french_format.kif 101-101
No TPTP formula. May not be expressible in strict first order. relations-it.txt 212-212
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1930-1930
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 109-109
No TPTP formula. May not be expressible in strict first order. relations-de.txt 200-200
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 250-250
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 120-120
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 102-102
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 404-404
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 164-164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44544-44544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44543-44543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44542-44542
No TPTP formula. May not be expressible in strict first order. terms-de.txt 62-62

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3673-3677
No TPTP formula. May not be expressible in strict first order. Merge.kif 3650-3655

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3667-3671


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