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	The number 1 argument of partial ordering on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3643-3643	The number 2 argument of partial ordering on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3641-3641	partial ordering on is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3640-3640	partial ordering on is an instance of binary predicate

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	If a binary relation is partial ordering on a class and the binary relation is trichotomizing on the class, then the binary relation is total ordering on the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3650-3655	If a binary relation is partial ordering on a class, then the binary relation is reflexive on the class and the binary relation is an instance of transitive relation and the binary relation is an instance of antisymmetric relation

consequent

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

Merge.kif 3667-3671

If a binary relation is total ordering on a class,
then the binary relation is partial ordering on the class and the binary relation is trichotomizing on the class

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