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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9227-9227
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Fredmeyer_edit_1.jpg") pictureList.kif 9226-9226
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ en/ b/ b7/ Meatfoodgroup.jpg") pictureList.kif 9225-9225
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1744-1744
(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 24542-24542
(termFormat ChineseTraditionalLanguage FoodManufacturing "食品製造業") domainEnglishFormat.kif 24541-24541
(termFormat EnglishLanguage FoodManufacturing "food manufacturing") domainEnglishFormat.kif 24540-24540

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 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