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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Manufacturer

appearance as argument number 1

(documentation Manufacturer ChineseLanguage "这是任何制造 ProductCorporation。") chinese_format.kif 3665-3665
(documentation Manufacturer EnglishLanguage "Any Corporation which manufactures Products.") Merge.kif 16168-16169
(subclass Manufacturer Corporation) Merge.kif 16167-16167

appearance as argument number 2

(subclass Publisher Manufacturer) Mid-level-ontology.kif 7225-7225
(termFormat ChineseLanguage Manufacturer "生产厂家") domainEnglishFormat.kif 36053-36053
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") domainEnglishFormat.kif 36052-36052
(termFormat EnglishLanguage Manufacturer "manufacturer") domainEnglishFormat.kif 36051-36051


    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))
Merge.kif 16171-16178

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