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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalOrderingOn

 Sigma KEE - totalOrderingOn
totalOrderingOn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2048-2050
No TPTP formula. May not be expressible in strict first order. Merge.kif 3662-3665
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 693-695
No TPTP formula. May not be expressible in strict first order. Merge.kif 3659-3659 域 總訂貨量, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3660-3660 域 總訂貨量, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3658-3658 例 總訂貨量 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3657-3657 例 總訂貨量 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 193-193
No TPTP formula. May not be expressible in strict first order. english_format.kif 194-194
No TPTP formula. May not be expressible in strict first order. french_format.kif 116-116
No TPTP formula. May not be expressible in strict first order. relations-it.txt 302-302
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1945-1945
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 68-68
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-de.txt 247-247
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 338-338
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 135-135
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 121-121
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 494-494
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 194-194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58598-58598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58597-58597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58596-58596
No TPTP formula. May not be expressible in strict first order. terms-de.txt 78-78

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


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

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