Manufacturer - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Manufacturer Corporation)	Merge.kif 16556-16556	Manufacturer is a subclass of corporation
(documentation Manufacturer EnglishLanguage "Any Corporation which manufactures Products.")	Merge.kif 16557-16558	Manufacturer is a subclass of corporation

appearance as argument number 2

(subclass Publisher Manufacturer)	Mid-level-ontology.kif 8550-8550	Publisher is a subclass of manufacturer
(termFormat EnglishLanguage Manufacturer "manufacturer")	domainEnglishFormat.kif 36047-36047	Publisher is a subclass of manufacturer
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家")	domainEnglishFormat.kif 36048-36048	Publisher is a subclass of manufacturer
(termFormat ChineseLanguage Manufacturer "生产厂家")	domainEnglishFormat.kif 36049-36049	Publisher is a subclass of manufacturer

antecedent

(=>
    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))

If X is an instance of manufacturer, then X has the purpose there exists Y such that Y is an instance of manufacture, Y is an instance of commercial service, and X is an agent of Y