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 16220-16221 | |
(subclass Manufacturer Corporation) | Merge.kif 16219-16219 | Manufacturer è una sottoclasse di Corporazione |
appearance as argument number 2 |
(subclass Publisher Manufacturer) | Mid-level-ontology.kif 7252-7252 | Publisher è una sottoclasse di Manufacturer |
(termFormat ChineseLanguage Manufacturer "生产厂家") | domainEnglishFormat.kif 36047-36047 | |
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") | domainEnglishFormat.kif 36046-36046 | |
(termFormat EnglishLanguage Manufacturer "manufacturer") | domainEnglishFormat.kif 36045-36045 |
antecedent |
(=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG))))) |
Merge.kif 16223-16230 |
|