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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 16294-16295
(subclass Manufacturer Corporation) Merge.kif 16293-16293 Manufacturer is a subclass of corporation

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


(subclass Publisher Manufacturer) Mid-level-ontology.kif 8026-8026 Publisher is a subclass of manufacturer
(termFormat ChineseLanguage Manufacturer "生产厂家") domainEnglishFormat.kif 36073-36073 Publisher is a subclass of manufacturer
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") domainEnglishFormat.kif 36072-36072 Publisher is a subclass of manufacturer
(termFormat EnglishLanguage Manufacturer "manufacturer") domainEnglishFormat.kif 36071-36071 Publisher is a subclass of manufacturer

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


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


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



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