(instance abstractPart PartialOrderingRelation) 
Midlevelontology.kif 2274322743 
abstract part is an instance of partial ordering relation 
(instance beforeOrEqual PartialOrderingRelation) 
Merge.kif 81388138 
before or equal is an instance of partial ordering relation 
(instance coordinates PartialOrderingRelation) 
MilitaryProcesses.kif 16991699 
coordinates is an instance of partial ordering relation 
(instance geometricPart PartialOrderingRelation) 
Merge.kif 1779017790 
geometric part is an instance of partial ordering relation 
(instance greaterThanOrEqualTo PartialOrderingRelation) 
Merge.kif 18741874 
greater than or equal to is an instance of partial ordering relation 
(instance initialList PartialOrderingRelation) 
Merge.kif 32933293 
initial list is an instance of partial ordering relation 
(instance lessThanOrEqualTo PartialOrderingRelation) 
Merge.kif 18571857 
less than or equal to is an instance of partial ordering relation 
(instance part PartialOrderingRelation) 
Merge.kif 915915 
part is an instance of partial ordering relation 
(instance subAttribute PartialOrderingRelation) 
Merge.kif 681681 
sub attribute is an instance of partial ordering relation 
(instance subCollection PartialOrderingRelation) 
Merge.kif 12891289 
sub collection is an instance of partial ordering relation 
(instance subLanguage PartialOrderingRelation) 
Languages.kif 1447614476 
sub language is an instance of partial ordering relation 
(instance subList PartialOrderingRelation) 
Merge.kif 31193119 
sub list is an instance of partial ordering relation 
(instance subOrganization PartialOrderingRelation) 
Merge.kif 1671216712 
sub organization is an instance of partial ordering relation 
(instance subProcess PartialOrderingRelation) 
Merge.kif 37513751 
sub process is an instance of partial ordering relation 
(instance subclass PartialOrderingRelation) 
Merge.kif 130130 
subclass is an instance of partial ordering relation 
(instance subrelation PartialOrderingRelation) 
Merge.kif 170170 
subrelation is an instance of partial ordering relation 
(instance subsumesContentClass PartialOrderingRelation) 
Merge.kif 45184518 
subsumes content class is an instance of partial ordering relation 
(instance subsumesContentInstance PartialOrderingRelation) 
Merge.kif 45754575 
subsumes content instance is an instance of partial ordering relation 
(instance temporalPart PartialOrderingRelation) 
Merge.kif 79317931 
temporal part is an instance of partial ordering relation 
(subclass TotalOrderingRelation PartialOrderingRelation) 
Merge.kif 23742374 
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 10091009 

(termFormat FrenchLanguage PartialOrderingRelation "relation partiellement dirig�e") 
french_format.kif 577577 

(termFormat Hindi PartialOrderingRelation "aanshika anukrama sambandha") 
termshindi.txt 107107 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 