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 16198-16199
(subclass Manufacturer Corporation) Merge.kif 16197-16197

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


(subclass Publisher Manufacturer) Mid-level-ontology.kif 7253-7253
(termFormat ChineseLanguage Manufacturer "生产厂家") domainEnglishFormat.kif 36047-36047
(termFormat ChineseTraditionalLanguage Manufacturer "生產廠家") domainEnglishFormat.kif 36046-36046
(termFormat EnglishLanguage Manufacturer "manufacturer") domainEnglishFormat.kif 36045-36045

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


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


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