s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__abstractPart__m,s__PartialOrderingRelation)

Midlevelontology.kif 2188221882 
abstract part is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__beforeOrEqual__m,s__PartialOrderingRelation)

Merge.kif 78847884 
before or equal is an instance of partial ordering relation 
s__instance(s__coordinates__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

MilitaryProcesses.kif 16801680 
coordinates is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__geometricPart__m,s__PartialOrderingRelation)

Merge.kif 1709717097 
geometric part is an instance of partial ordering relation 
s__instance(s__greaterThanOrEqualTo__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 18211821 
greater than or equal to is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__initialList__m,s__PartialOrderingRelation)

Merge.kif 32173217 
initial list is an instance of partial ordering relation 
s__instance(s__lessThanOrEqualTo__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 18041804 
less than or equal to is an instance of partial ordering relation 
s__instance(s__part__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 873873 
part is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__subAttribute__m,s__PartialOrderingRelation)

Merge.kif 653653 
sub attribute is an instance of partial ordering relation 
s__instance(s__subCollection__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 12161216 
sub collection is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__subLanguage__m,s__PartialOrderingRelation)

Languages.kif 1446814468 
subLanguage is an instance of partial ordering relation 
s__instance(s__subList__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 30473047 
sub list is an instance of partial ordering relation 
s__instance(s__subOrganization__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 1606216062 
sub organization is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__subProcess__m,s__PartialOrderingRelation)

Merge.kif 97109710 
sub process is an instance of partial ordering relation 
s__instance(s__subclass__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 128128 
subclass is an instance of partial ordering relation 
s__instance(s__subrelation__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 168168 
subrelation is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__subsumesContentClass__m,s__PartialOrderingRelation)

Merge.kif 43874387 
subsumes content class is an instance of partial ordering relation 
s__instance(s__subsumesContentInstance__m,s__PartialOrderingRelation)
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 44384438 
subsumes content instance is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__instance(s__temporalPart__m,s__PartialOrderingRelation)

Merge.kif 77037703 
temporal part is an instance of partial ordering relation 
s__instance(s__PartialOrderingRelation,s__SetOrClass)
s__subclass(s__TotalOrderingRelation,s__PartialOrderingRelation)
s__instance(s__TotalOrderingRelation,s__SetOrClass)

Merge.kif 23152315 
Total ordering relation is a subclass of partial ordering relation 
s__termFormat(s__ChineseLanguage,s__PartialOrderingRelation,'"偏序关系"')

chinese_format.kif 901901 

s__termFormat(s__EnglishLanguage,s__PartialOrderingRelation,'"partial ordering relation"')

english_format.kif 10141014 
