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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FoodManufacturing
FoodManufacturing(food manufacturing)

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 Food for animal is an industry product type of food manufacturing
(instance FoodManufacturing IndustryAttribute) naics.kif 1355-1355 Food manufacturing is an instance of industry attribute

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


(subAttribute AnimalFoodManufacturing FoodManufacturing) naics.kif 1379-1379 Animal food manufacturing is a subattribute of food manufacturing
(subAttribute AnimalSlaughteringAndProcessing FoodManufacturing) naics.kif 1623-1623 Animal slaughtering and processing is a subattribute of food manufacturing
(subAttribute BakeriesAndTortillaManufacturing FoodManufacturing) naics.kif 1677-1677 Bakeries and tortilla manufacturing is a subattribute of food manufacturing
(subAttribute DairyProductManufacturing FoodManufacturing) naics.kif 1578-1578 Dairy product manufacturing is a subattribute of food manufacturing
(subAttribute FruitAndVegetablePreservingAndSpecialtyFoodManufacturing FoodManufacturing) naics.kif 1523-1523 Fruit and vegetable preserving and specialty food manufacturing is a subattribute of food manufacturing
(subAttribute GrainAndOilseedMilling FoodManufacturing) naics.kif 1400-1400 Grain and oilseed milling is a subattribute of food manufacturing
(subAttribute OtherFoodManufacturing FoodManufacturing) naics.kif 1742-1742 Other food manufacturing is a subattribute of food manufacturing
(subAttribute SeafoodProductPreparationAndPackaging FoodManufacturing) naics.kif 1657-1657 Seafood product preparation and packaging is a subattribute of food manufacturing
(subAttribute SugarAndConfectioneryProductManufacturing FoodManufacturing) naics.kif 1470-1470 Sugar and confectionery product manufacturing is a subattribute of food manufacturing
(termFormat ChineseLanguage FoodManufacturing "食品制造业") domainEnglishFormat.kif 24564-24564 Sugar and confectionery product manufacturing is a subattribute of food manufacturing
(termFormat ChineseTraditionalLanguage FoodManufacturing "食品製造業") domainEnglishFormat.kif 24563-24563 Sugar and confectionery product manufacturing is a subattribute of food manufacturing
(termFormat EnglishLanguage FoodManufacturing "food manufacturing") domainEnglishFormat.kif 24562-24562 Sugar and confectionery product manufacturing is a subattribute of food manufacturing

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