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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation(partial ordering relation)partial_ordering_relation, 偏序关系, 半順序関係

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2510-2511
No TPTP formula. May not be expressible in strict first order. Merge.kif 2507-2509
No TPTP formula. May not be expressible in strict first order. Merge.kif 2504-2504 Partial ordering relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2505-2505 Partial ordering relation is a subclass of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2506-2506 Partial ordering relation is a subclass of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2503-2503 Partial ordering relation is a subclass of transitive relation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20667-20667 abstract part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8331-8331 before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1667-1667 coordinates is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 18288-18288 geometric part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1941-1941 greater than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3368-3368 initial list is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1923-1923 less than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 714-714 sub attribute is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1324-1324 sub collection is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Languages.kif 14468-14468 subLanguage is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3323-3323 sub list is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17019-17019 sub organization is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10161-10161 sub process is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 140-140 subclass is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 186-186 subrelation is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4648-4648 subsumes content class is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8144-8144 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2513-2513 Total ordering relation is a subclass of partial ordering relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 901-901 "偏序关系" is the printable form of partial ordering relation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 769-769 "partial ordering relation" is the printable form of partial ordering relation in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 770-770 "半順序関係" is the printable form of partial ordering relation in japanese language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners