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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partialOrderingOn

 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 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3643-3643 域 部分訂購在, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3641-3641 例 部分訂購在 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3640-3640 例 部分訂購在 and BinaryPredicate

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

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