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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - PartialOrderingRelation
PartialOrderingRelation

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


(documentation PartialOrderingRelation ChineseLanguage "一个 BinaryRelation 属于部分顺序 关系如果它是一个 ReflexiveRelationAntisymmetricRelationTransitiveRelation。") Merge.kif 2510-2511
(documentation PartialOrderingRelation EnglishLanguage "A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.") Merge.kif 2507-2509
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2504-2504
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2505-2505
(subclass PartialOrderingRelation TotalValuedRelation) Merge.kif 2506-2506
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2503-2503

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


(instance abstractPart PartialOrderingRelation) Mid-level-ontology.kif 20667-20667
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 8331-8331
(instance coordinates PartialOrderingRelation) MilitaryProcesses.kif 1667-1667
(instance geometricPart PartialOrderingRelation) Merge.kif 18288-18288
(instance greaterThanOrEqualTo PartialOrderingRelation) Merge.kif 1941-1941
(instance initialList PartialOrderingRelation) Merge.kif 3368-3368
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1923-1923
(instance part PartialOrderingRelation) Merge.kif 965-965
(instance subAttribute PartialOrderingRelation) Merge.kif 714-714
(instance subCollection PartialOrderingRelation) Merge.kif 1324-1324
(instance subLanguage PartialOrderingRelation) Languages.kif 14468-14468
(instance subList PartialOrderingRelation) Merge.kif 3323-3323
(instance subOrganization PartialOrderingRelation) Merge.kif 17019-17019
(instance subProcess PartialOrderingRelation) Merge.kif 10161-10161
(instance subclass PartialOrderingRelation) Merge.kif 140-140
(instance subrelation PartialOrderingRelation) Merge.kif 186-186
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4648-4648
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4709-4709
(instance temporalPart PartialOrderingRelation) Merge.kif 8144-8144
(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2513-2513
(termFormat ChineseLanguage PartialOrderingRelation "偏序关系") chinese_format.kif 901-901
(termFormat EnglishLanguage PartialOrderingRelation "partial ordering relation") english_format.kif 769-769
(termFormat JapaneseLanguage PartialOrderingRelation "半順序関係") english_format.kif 770-770


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