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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meat
Meat(meat)
Bovril, Salisbury_steak, beef_tea, beef_tongue, biltong, bird, blood_meal, bone_marrow, bouillon_cube, brain, breast_of_lamb, brisket, buffalo, calf's_brain, calf's_liver, calf's_tongue, calves'_feet, calves'_liver, chicken_liver, chine, chitlings, chitlins, chitterlings, chop, confit, cracklings, crown_roast, cut, cut_of_meat, cut_of_mutton, cutlet, dark_meat, drippings, escallop, fatback, filet, fillet, fish_filet, fish_fillet, fish_steak, flank, flat_bone, forequarter, foreshank, fowl, frog_legs, game, gigot, gobbet, goose_liver...

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


(disjoint Meat Beverage) Mid-level-ontology.kif 19225-19225 Meat is disjoint from beverage
(documentation Meat ChineseLanguage "这是任何来自 Animal 一部分的食物,一般不会通过饮用摄入体内, 包括鸡蛋和以食物形式进食动物的血液。注:这个类别同时包括生肉和经过某些方法处理如煮过的肉。再注:涉及 MeatFruitOrVegetable 的制作直接归类于 Food。") Merge.kif 19394-19396
(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 19388-19393
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") pictureList.kif 902-902 "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg" is a URL depicting meat
(subclass Meat SelfConnectedObject) Merge.kif 19387-19387 Meat is a subclass of self connected object

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


(subclass Beef Meat) Mid-level-ontology.kif 18128-18128 Beef is a subclass of meat
(subclass ChickenMeat Meat) Mid-level-ontology.kif 18133-18133 Chicken meat is a subclass of meat
(subclass GoatMeat Meat) Food.kif 625-625 GoatMeat is a subclass of meat
(subclass LambMeat Meat) Economy.kif 4270-4270 Lamb meat is a subclass of meat
(subclass Mutton Meat) Economy.kif 4268-4268 Mutton is a subclass of meat
(subclass Pork Meat) Mid-level-ontology.kif 18135-18135 Pork is a subclass of meat
(subclass PoultryMeat Meat) Food.kif 421-421 Poultry is a subclass of meat
(subclass Seafood Meat) Food.kif 316-316 Seafood is a subclass of meat
(subclass TurkeyMeat Meat) Economy.kif 4271-4271 Turkey meat is a subclass of meat
(subclass Veal Meat) Economy.kif 4269-4269 Veal is a subclass of meat
(subclass WaterBuffaloMeat Meat) Economy.kif 4272-4272 Water buffalo meat is a subclass of meat
(termFormat ChineseLanguage Meat "meat") chinese_format.kif 1013-1013 "meat" is the printable form of meat in ChineseLanguage
(termFormat EnglishLanguage Meat "meat") english_format.kif 1742-1742 "meat" is the printable form of meat in english language
(termFormat JapaneseLanguage Meat "肉") english_format.kif 1743-1743 "肉" is the printable form of meat in japanese language

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 304-310
(=>
    (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 19399-19410

consequent
-------------------------


(=>
    (attribute ?F Vegetarian)
    (not
        (exists (?M)
            (and
                (instance ?M Meat)
                (part ?M ?F)))))
Food.kif 991-997


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