| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Mid-level-ontology.kif 20636-20636 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 8314-8314 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
MilitaryProcesses.kif 1667-1667 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 18236-18236 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 1928-1928 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 3355-3355 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 1910-1910 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 953-953 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 702-702 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 1312-1312 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Languages.kif 14468-14468 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 3310-3310 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 16967-16967 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 10103-10103 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 140-140 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 186-186 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 4635-4635 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 4696-4696 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 8127-8127 |
|
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 2500-2500 |
|
| s__termFormat(s__ChineseLanguage,s__PartialOrderingRelation,'偏序关系')
|
chinese_format.kif 901-901 |
|
| s__termFormat(s__EnglishLanguage,s__PartialOrderingRelation,'partial ordering relation')
|
english_format.kif 588-588 |
|
| s__termFormat(s__FrenchLanguage,s__PartialOrderingRelation,'relation partiellement dirig�e')
|
french_format.kif 577-577 |
|
| s__termFormat(s__Hindi,s__PartialOrderingRelation,'aanshika anukrama sambandha')
|
terms-hindi.txt 107-107 |
|
| s__termFormat(s__ItalianLanguage,s__PartialOrderingRelation,'RelazioneDiOrdineParziale')
|
terms-it.txt 108-108 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
