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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodManufacturing

Sigma KEE - FoodManufacturing
FoodManufacturing

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


(documentation FoodManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Food Manufacturing.") naics.kif 1357-1359
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 9228-9228
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Fredmeyer_edit_1.jpg") pictureList.kif 9227-9227
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ en/ b/ b7/ Meatfoodgroup.jpg") pictureList.kif 9226-9226
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1755-1755
(instance FoodManufacturing IndustryAttribute) naics.kif 1355-1355

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


(subAttribute AnimalFoodManufacturing FoodManufacturing) naics.kif 1379-1379
(subAttribute AnimalSlaughteringAndProcessing FoodManufacturing) naics.kif 1623-1623
(subAttribute BakeriesAndTortillaManufacturing FoodManufacturing) naics.kif 1677-1677
(subAttribute DairyProductManufacturing FoodManufacturing) naics.kif 1578-1578
(subAttribute FruitAndVegetablePreservingAndSpecialtyFoodManufacturing FoodManufacturing) naics.kif 1523-1523
(subAttribute GrainAndOilseedMilling FoodManufacturing) naics.kif 1400-1400
(subAttribute OtherFoodManufacturing FoodManufacturing) naics.kif 1742-1742
(subAttribute SeafoodProductPreparationAndPackaging FoodManufacturing) naics.kif 1657-1657
(subAttribute SugarAndConfectioneryProductManufacturing FoodManufacturing) naics.kif 1470-1470
(termFormat ChineseLanguage FoodManufacturing "食品制造业") domainEnglishFormat.kif 24537-24537
(termFormat ChineseTraditionalLanguage FoodManufacturing "食品製造業") domainEnglishFormat.kif 24536-24536
(termFormat EnglishLanguage FoodManufacturing "food manufacturing") domainEnglishFormat.kif 24535-24535

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FoodManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Cooking)
                    (instance ?EV Manufacture)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 1361-1377


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

Show without tree


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