subOrganization |
appearance as argument number 1 |
(documentation subOrganization ChineseLanguage "(subOrganization ?ORG1 ?ORG2)的意思是 ?ORG1 是一家 Organization,而它是 Organization ?ORG2 的一部分。注:subOrganization 属于 一种 ReflexiveRelation,所以每一个 Organization 都是他自己的 subOrganization。") | chinese_format.kif 3751-3753 | |
(documentation subOrganization EnglishLanguage "(subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a part of the Organization ?ORG2. Note that subOrganization is a ReflexiveRelation, so every Organization is a subOrganization of itself.") | Merge.kif 16816-16819 | |
(domain subOrganization 1 Organization) | Merge.kif 16814-16814 | 域 子組織, 1 and Organization |
(domain subOrganization 2 Organization) | Merge.kif 16815-16815 | 域 子組織, 2 and Organization |
(instance subOrganization PartialOrderingRelation) | Merge.kif 16813-16813 | 例 子組織 and PartialOrderingRelation |
(subrelation subOrganization subCollection) | Merge.kif 16812-16812 | 子關係 子組織 and 子集合 |
appearance as argument number 2 |
(disjointRelation ancestorOrganization subOrganization) | Mid-level-ontology.kif 24227-24227 | 不相交的關係 祖先組織 and 子組織 |
(format ChineseLanguage subOrganization "%1 %n 是 %2 Organization 的一部分") | chinese_format.kif 810-810 | |
(format ChineseLanguage subOrganization "%1 %n 是 %2 机构 的一 part") | chinese_format.kif 549-549 | |
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") | english_format.kif 554-554 | |
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") | english_format.kif 823-823 | |
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") | french_format.kif 322-322 | |
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") | french_format.kif 486-486 | |
(format JapaneseLanguage subOrganization "%1 は組織 %2 の part では %n") | japanese_format.kif 2090-2090 | |
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n") | english_format.kif 824-824 | |
(format PortugueseLanguage subOrganization "%1 e' %n uma &parte da organizacao %2") | portuguese_format.kif 274-274 | |
(format PortugueseLanguage subOrganization "%1 e' %n uma parte da organizacao %2") | portuguese_format.kif 438-438 | |
(format ro subOrganization "%1 %n{nu} este o part%t{parte} a organizaþiei %2") | relations-ro.kif 343-343 | |
(format ro subOrganization "%1 %n{nu} este o parte a organizaþiei %2") | relations-ro.kif 508-508 | |
(subrelation chamberOfLegislature subOrganization) | Government.kif 2024-2024 | 子關係 立法機關 and 子組織 |
(termFormat ChineseLanguage subOrganization "子机构") | chinese_format.kif 550-550 | |
(termFormat ChineseLanguage subOrganization "子组织") | domainEnglishFormat.kif 55766-55766 | |
(termFormat ChineseTraditionalLanguage subOrganization "子組織") | domainEnglishFormat.kif 55765-55765 | |
(termFormat EnglishLanguage subOrganization "sub organization") | domainEnglishFormat.kif 55764-55764 |
antecedent |
consequent |
appearance as argument number 0 |