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 9232-9232
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Fredmeyer_edit_1.jpg") pictureList.kif 9231-9231
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ en/ b/ b7/ Meatfoodgroup.jpg") pictureList.kif 9230-9230
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1748-1748
(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 EnglishLanguage FoodManufacturing "food manufacturing") domainEnglishFormat.kif 4512-4512

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners