(instance abstractPart PartialOrderingRelation) 
Midlevelontology.kif 2274122741 
abstract part is an instance of partial ordering relation 
(instance beforeOrEqual PartialOrderingRelation) 
Merge.kif 81248124 
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 1771317713 
geometric part is an instance of partial ordering relation 
(instance greaterThanOrEqualTo PartialOrderingRelation) 
Merge.kif 18611861 
greater than or equal to is an instance of partial ordering relation 
(instance initialList PartialOrderingRelation) 
Merge.kif 32803280 
initial list is an instance of partial ordering relation 
(instance lessThanOrEqualTo PartialOrderingRelation) 
Merge.kif 18441844 
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 31063106 
sub list is an instance of partial ordering relation 
(instance subOrganization PartialOrderingRelation) 
Merge.kif 1663516635 
sub organization is an instance of partial ordering relation 
(instance subProcess PartialOrderingRelation) 
Merge.kif 37383738 
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 45044504 
subsumes content class is an instance of partial ordering relation 
(instance subsumesContentInstance PartialOrderingRelation) 
Merge.kif 45614561 
subsumes content instance is an instance of partial ordering relation 
(instance temporalPart PartialOrderingRelation) 
Merge.kif 79177917 
temporal part is an instance of partial ordering relation 
(subclass TotalOrderingRelation PartialOrderingRelation) 
Merge.kif 23612361 
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 