Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2Re3Ra4In5En6Re7ReFn

 Sigma KEE - FoodManufacturing
FoodManufacturing(food manufacturing)

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


(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1864-1864 Food for animal is an industry product type of food manufacturing
(industryProductType FoodManufacturing FoodArtifact) Society.kif 595-595 FoodArtifact is an industry product type of food manufacturing
(instance FoodManufacturing IndustryAttribute) naics.kif 1349-1349 Food manufacturing is an instance of industry attribute
(documentation FoodManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Food Manufacturing.") naics.kif 1351-1353 Food manufacturing is an instance of industry attribute
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ en/ b/ b7/ Meatfoodgroup.jpg") pictureList.kif 9224-9224 Food manufacturing is an instance of industry attribute
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Fredmeyer_edit_1.jpg") pictureList.kif 9225-9225 Food manufacturing is an instance of industry attribute
(externalImage FoodManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 9226-9226 Food manufacturing is an instance of industry attribute

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


(termFormat EnglishLanguage FoodManufacturing "food manufacturing") domainEnglishFormat.kif 24538-24538
(termFormat ChineseTraditionalLanguage FoodManufacturing "食品製造業") domainEnglishFormat.kif 24539-24539
(termFormat ChineseLanguage FoodManufacturing "食品制造业") domainEnglishFormat.kif 24540-24540
(subAttribute AnimalFoodManufacturing FoodManufacturing) naics.kif 1373-1373 Animal food manufacturing is a subattribute of food manufacturing
(subAttribute GrainAndOilseedMilling FoodManufacturing) naics.kif 1394-1394 Grain and oilseed milling is a subattribute of food manufacturing
(subAttribute SugarAndConfectioneryProductManufacturing FoodManufacturing) naics.kif 1464-1464 Sugar and confectionery product manufacturing is a subattribute of food manufacturing
(subAttribute FruitAndVegetablePreservingAndSpecialtyFoodManufacturing FoodManufacturing) naics.kif 1517-1517 Fruit and vegetable preserving and specialty food manufacturing is a subattribute of food manufacturing
(subAttribute DairyProductManufacturing FoodManufacturing) naics.kif 1572-1572 Dairy product manufacturing is a subattribute of food manufacturing
(subAttribute AnimalSlaughteringAndProcessing FoodManufacturing) naics.kif 1617-1617 Animal slaughtering and processing is a subattribute of food manufacturing
(subAttribute SeafoodProductPreparationAndPackaging FoodManufacturing) naics.kif 1651-1651 Seafood product preparation and packaging is a subattribute of food manufacturing
(subAttribute BakeriesAndTortillaManufacturing FoodManufacturing) naics.kif 1671-1671 Bakeries and tortilla manufacturing is a subattribute of food manufacturing
(subAttribute OtherFoodManufacturing FoodManufacturing) naics.kif 1736-1736 Other food 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 1355-1371 If X is an instance of organization and food manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of cooking (6) Y is an instance of manufacture (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners