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 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 industryProductType FoodManufacturing and FoodForFn 動物
(instance FoodManufacturing IndustryAttribute) naics.kif 1355-1355 FoodManufacturingIndustryAttributeinstance では %n

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


(subAttribute AnimalFoodManufacturing FoodManufacturing) naics.kif 1379-1379 AnimalFoodManufacturingFoodManufacturingsubattribute では %n
(subAttribute AnimalSlaughteringAndProcessing FoodManufacturing) naics.kif 1623-1623 AnimalSlaughteringAndProcessingFoodManufacturingsubattribute では %n
(subAttribute BakeriesAndTortillaManufacturing FoodManufacturing) naics.kif 1677-1677 BakeriesAndTortillaManufacturingFoodManufacturingsubattribute では %n
(subAttribute DairyProductManufacturing FoodManufacturing) naics.kif 1578-1578 DairyProductManufacturingFoodManufacturingsubattribute では %n
(subAttribute FruitAndVegetablePreservingAndSpecialtyFoodManufacturing FoodManufacturing) naics.kif 1523-1523 FruitAndVegetablePreservingAndSpecialtyFoodManufacturingFoodManufacturingsubattribute では %n
(subAttribute GrainAndOilseedMilling FoodManufacturing) naics.kif 1400-1400 GrainAndOilseedMillingFoodManufacturingsubattribute では %n
(subAttribute OtherFoodManufacturing FoodManufacturing) naics.kif 1742-1742 OtherFoodManufacturingFoodManufacturingsubattribute では %n
(subAttribute SeafoodProductPreparationAndPackaging FoodManufacturing) naics.kif 1657-1657 SeafoodProductPreparationAndPackagingFoodManufacturingsubattribute では %n
(subAttribute SugarAndConfectioneryProductManufacturing FoodManufacturing) naics.kif 1470-1470 SugarAndConfectioneryProductManufacturingFoodManufacturingsubattribute では %n
(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 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