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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TotalOrderingRelation

 Sigma KEE - TotalOrderingRelation
TotalOrderingRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1856-1857
No TPTP formula. May not be expressible in strict first order. Merge.kif 2377-2379
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 478-480
No TPTP formula. May not be expressible in strict first order. Merge.kif 2374-2374 子類 TotalOrderingRelation and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2375-2375 子類 TotalOrderingRelation and TrichotomizingRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 902-902
No TPTP formula. May not be expressible in strict first order. english_format.kif 1011-1011
No TPTP formula. May not be expressible in strict first order. french_format.kif 578-578
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 108-108
No TPTP formula. May not be expressible in strict first order. terms-it.txt 111-111
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2263-2263
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 530-530
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 145-145
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 599-599
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 112-112

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2381-2390


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