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 3646-3649
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 3643-3643 Le nombre 1 argument de partialOrderingOn est une instance de relation binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 3644-3644 Le nombre 2 argument de partialOrderingOn est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 partialOrderingOn est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 3641-3641 partialOrderingOn est une instance de pr�dicat binaire

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 44546-44546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44545-44545
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. terms-de.txt 62-62

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3674-3678
No TPTP formula. May not be expressible in strict first order. Merge.kif 3651-3656

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3668-3672


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