|
|
   Manufacturer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Manufacturer ChineseLanguage "这是任何制造 Product 的 Corporation。") | chinese_format.kif 3665-3665 | |
| (documentation Manufacturer EnglishLanguage "Any Corporation which manufactures Products.") | Merge.kif 16168-16169 | |
| (subclass Manufacturer Corporation) | Merge.kif 16167-16167 | 生产厂家 是 法人财团 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Publisher Manufacturer) | Mid-level-ontology.kif 7225-7225 | 出版者 是 生产厂家 的 subclass |
| (termFormat ChineseLanguage Manufacturer "生产厂家") | domainEnglishFormat.kif 36053-36053 | |
| (termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") | domainEnglishFormat.kif 36052-36052 | |
| (termFormat EnglishLanguage Manufacturer "manufacturer") | domainEnglishFormat.kif 36051-36051 |
| antecedent |
|
|
| (=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG))))) |
Merge.kif 16171-16178 |
|
|
|