TreeView Knowledge Base Browser - partialOrderingOn

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	O argumento numero 1 de partialOrderingOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3643-3643	O argumento numero 2 de partialOrderingOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3641-3641	partialOrderingOn e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3640-3640	partialOrderingOn e' uma instancia de Predicado Binario

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	Relacao Binaria e' parcialmente ordenado sobre Classe Relacao Binaria e' tricotomizado en Classe Relacao Binaria e' totalmente ordenado em Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3650-3655	Relacao Binaria e' parcialmente ordenado sobre Classe Relacao Binaria e' reflivo em Classe Relacao Binaria e' uma instancia de Relacao Transitiva Relacao Binaria e' uma instancia de Relacao Anti-simetrica

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3667-3671

Relacao Binaria e' totalmente ordenado em Classe
Relacao Binaria e' parcialmente ordenado sobre Classe Relacao Binaria e' tricotomizado en Classe

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