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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Manufacturer
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 15001-15002
(subclass Manufacturer Corporation) Merge.kif 15000-15000

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


(subclass Publisher Manufacturer) Mid-level-ontology.kif 6919-6919
(termFormat ChineseLanguage Manufacturer "生产厂家") domainEnglishFormat.kif 35941-35941
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") domainEnglishFormat.kif 35940-35940
(termFormat EnglishLanguage Manufacturer "manufacturer") domainEnglishFormat.kif 35939-35939

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners