Browsing Interface		 [ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - Meat
Meat(meat)
Alaska_crab, Alaska_king_crab, Alaskan_king_crab, American_lobster, American_smelt, Atlantic_salmon, Bovril, Canadian_bacon, Chateaubriand, Delmonico_steak, Dungeness_crab, English_sole, European_lobster, European_smelt, Japanese_crab, Maine_lobster, New_York_strip, Northern_lobster, Norwegian_lobster, Nova_Scotia_lox, Nova_Scotia_salmon, Nova_lox, Nova_salmon, Nova_style_salmon, Oven_Stuffer, Oven_Stuffer_Roaster, Rock_Cornish_hen, Salisbury_steak, Scandinavian_lox, Spanish_mackerel, T-bone_steak, Virginia_ham, aitchbone, albacore, alewife, anchovy, bacon_rind, bacon_strip, bass, bay_scallop, beef_jerky, beef_loin, beef_neck, beef_patty, beef_roast, beef_tea, beef_tenderloin, beef_tongue, beefsteak, beluga_caviar...

 
 appearance as argument number 1


(documentation Meat EnglishLanguage "Any Food which was originally part of an Animal and is not ingested by drinking, including eggs and animal blood that is eaten as food. Note that this class covers both raw meat and meat that has been prepared in some way, e.g. by cooking. Note too that preparations involving Meat and FruitOrVegetable are classed directly under Food.") Merge.kif 12009-12014 %3
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") pictureList.kif 903-903 externalImage meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg"
(subclass Meat AnimalAgriculturalProduct) Economy.kif 4242-4242 meat is a subclass of animal agricultural product
(subclass Meat Food) Merge.kif 12008-12008 meat is a subclass of food

 
 appearance as argument number 2


(disjointDecomposition Food Meat Beverage) Merge.kif 11996-11996 food is disjointly decomposed into meat and beverage
(subclass Beef Meat) Mid-level-ontology.kif 13633-13633 beef is a subclass of meat
(subclass ChickenMeat Meat) Mid-level-ontology.kif 13638-13638 chicken meat is a subclass of meat
(subclass FishMeat Meat) Mid-level-ontology.kif 13643-13643 fish meat is a subclass of meat
(subclass LambMeat Meat) Economy.kif 4246-4246 lamb meat is a subclass of meat
(subclass Mutton Meat) Economy.kif 4244-4244 mutton is a subclass of meat
(subclass Pork Meat) Mid-level-ontology.kif 13640-13640 pork is a subclass of meat
(subclass Seafood Meat) Economy.kif 4250-4250 seafood is a subclass of meat
(subclass TurkeyMeat Meat) Economy.kif 4247-4247 turkey meat is a subclass of meat
(subclass Veal Meat) Economy.kif 4245-4245 veal is a subclass of meat
(subclass WaterBuffaloMeat Meat) Economy.kif 4248-4248 water buffalo meat is a subclass of meat
(termFormat EnglishLanguage Meat "meat") english_format.kif 691-691 term format english language meat "meat"

 
 appearance as argument number 3


(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 13621-13621 the number 1 argument of meat of animal is a subclass of meat

 antecedent


(=>
    (instance ?MEAT Meat)
    (forall (?PART)
        (=>
            (part ?PART ?MEAT)
            (exists (?SUBPART ?TIME ?ANIMAL)
                (and
                    (part ?SUBPART ?PART)
                    (holdsDuring ?TIME
                        (and
                            (instance ?ANIMAL Animal)
                            (part ?SUBPART ?ANIMAL))))))))		 Merge.kif 12016-12027
  • if an object is an instance of meat
  • then for all object
    • if object is a part of object
    • then there exist a object a time position and a object so that object is a part of object and object is an instance of animal and object is a part of object holds during time position


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners