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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PaperManufacturing
PaperManufacturing

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


(documentation PaperManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Paper Manufacturing.") naics.kif 2713-2715
(externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ ManilaPaper.jpg") pictureList.kif 8639-8639
(externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ c/ c4/ Coloured%2C_textured_craft_card.jpg") pictureList.kif 9520-9520
(instance PaperManufacturing IndustryAttribute) naics.kif 2711-2711 PaperManufacturing è un' istanza di IndustryAttribute

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


(subAttribute ConvertedPaperProductManufacturing PaperManufacturing) naics.kif 2767-2767 ConvertedPaperProductManufacturing è un sottoattributo di PaperManufacturing
(subAttribute PulpPaperAndPaperboardMills PaperManufacturing) naics.kif 2730-2730 PulpPaperAndPaperboardMills è un sottoattributo di PaperManufacturing
(termFormat ChineseLanguage PaperManufacturing "造纸业") domainEnglishFormat.kif 44330-44330
(termFormat ChineseTraditionalLanguage PaperManufacturing "造紙業") domainEnglishFormat.kif 44329-44329
(termFormat EnglishLanguage PaperManufacturing "paper manufacturing") domainEnglishFormat.kif 44328-44328

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PaperManufacturing))
    (exists (?MEM ?EV ?THING)
        (and
            (instance ?MEM Industry)
            (member ?MEM ?ORG)
            (instance ?EV Manufacture)
            (agent ?EV ?MEM)
            (patient ?EV ?THING)
            (material Paper ?THING))))
naics.kif 2717-2728


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