Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Manufacturer

Sigma KEE - Manufacturer
Manufacturer(manufacturer)bottler, maker, manufacturer, manufacturing_business

appearance as argument number 1
-------------------------


(documentation Manufacturer ChineseLanguage "这是任何制造 ProductCorporation。") chinese_format.kif 3665-3665
(documentation Manufacturer EnglishLanguage "Any Corporation which manufactures Products.") Merge.kif 15929-15930
(subclass Manufacturer Corporation) Merge.kif 15928-15928 Manufacturer is a subclass of corporation

appearance as argument number 2
-------------------------


(subclass Publisher Manufacturer) Mid-level-ontology.kif 6917-6917 Publisher is a subclass of manufacturer
(termFormat ChineseLanguage Manufacturer "生产厂家") domainEnglishFormat.kif 36030-36030
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") domainEnglishFormat.kif 36029-36029
(termFormat EnglishLanguage Manufacturer "manufacturer") domainEnglishFormat.kif 36028-36028

antecedent
-------------------------


(=>
    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))
Merge.kif 15932-15939


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners