(instance abstractPart PartialOrderingRelation) 
Midlevelontology.kif 2068020680 
abstract part is an instance of partial ordering relation 
(instance beforeOrEqual PartialOrderingRelation) 
Merge.kif 76717671 
before or equal is an instance of partial ordering relation 
(instance coordinates PartialOrderingRelation) 
MilitaryProcesses.kif 16801680 
coordinates is an instance of partial ordering relation 
(instance geometricPart PartialOrderingRelation) 
Merge.kif 1656816568 
geometric part is an instance of partial ordering relation 
(instance greaterThanOrEqualTo PartialOrderingRelation) 
Merge.kif 17821782 
greater than or equal to is an instance of partial ordering relation 
(instance initialList PartialOrderingRelation) 
Merge.kif 31403140 
initial list is an instance of partial ordering relation 
(instance lessThanOrEqualTo PartialOrderingRelation) 
Merge.kif 17651765 
less than or equal to is an instance of partial ordering relation 
(instance part PartialOrderingRelation) 
Merge.kif 872872 
part is an instance of partial ordering relation 
(instance subAttribute PartialOrderingRelation) 
Merge.kif 652652 
sub attribute is an instance of partial ordering relation 
(instance subCollection PartialOrderingRelation) 
Merge.kif 11821182 
sub collection is an instance of partial ordering relation 
(instance subLanguage PartialOrderingRelation) 
Languages.kif 1446814468 
subLanguage is an instance of partial ordering relation 
(instance subList PartialOrderingRelation) 
Merge.kif 30073007 
sub list is an instance of partial ordering relation 
(instance subOrganization PartialOrderingRelation) 
Merge.kif 1553615536 
sub organization is an instance of partial ordering relation 
(instance subProcess PartialOrderingRelation) 
Merge.kif 94889488 
sub process is an instance of partial ordering relation 
(instance subclass PartialOrderingRelation) 
Merge.kif 129129 
subclass is an instance of partial ordering relation 
(instance subrelation PartialOrderingRelation) 
Merge.kif 168168 
subrelation is an instance of partial ordering relation 
(instance subsumesContentClass PartialOrderingRelation) 
Merge.kif 42974297 
subsumes content class is an instance of partial ordering relation 
(instance subsumesContentInstance PartialOrderingRelation) 
Merge.kif 43474347 
subsumes content instance is an instance of partial ordering relation 
(instance temporalPart PartialOrderingRelation) 
Merge.kif 74907490 
temporal part is an instance of partial ordering relation 
(subclass TotalOrderingRelation PartialOrderingRelation) 
Merge.kif 22752275 
Total ordering relation is a subclass of partial ordering relation 
(termFormat ChineseLanguage PartialOrderingRelation "偏序关系") 
chinese_format.kif 901901 

(termFormat EnglishLanguage PartialOrderingRelation "partial ordering relation") 
english_format.kif 10141014 
