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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meat
Meat
لَحْم, Bovril, Carne, 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...

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


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

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


(subclass Beef Meat) Mid-level-ontology.kif 18069-18069
(subclass ChickenMeat Meat) Mid-level-ontology.kif 18074-18074
(subclass GoatMeat Meat) Food.kif 625-625
(subclass LambMeat Meat) Economy.kif 4270-4270
(subclass Mutton Meat) Economy.kif 4268-4268
(subclass Pork Meat) Mid-level-ontology.kif 18076-18076
(subclass PoultryMeat Meat) Food.kif 421-421
(subclass Seafood Meat) Food.kif 316-316
(subclass TurkeyMeat Meat) Economy.kif 4271-4271
(subclass Veal Meat) Economy.kif 4269-4269
(subclass WaterBuffaloMeat Meat) Economy.kif 4272-4272
(termFormat ChineseLanguage Meat "meat") chinese_format.kif 1013-1013
(termFormat EnglishLanguage Meat "meat") english_format.kif 700-700
(termFormat FrenchLanguage Meat "viande") french_format.kif 691-691
(termFormat Hindi Meat "maansa") terms-hindi.txt 222-222
(termFormat ItalianLanguage Meat "Carne") terms-it.txt 223-223
(termFormat PortugueseLanguage Meat "Carne") portuguese_format.kif 643-643
(termFormat ar Meat "لَحْم") arabic_format.kif 427-427
(termFormat cb Meat "karne") terms-cb.txt 227-227
(termFormat cz Meat "meat") terms-cz.txt 260-260
(termFormat tg Meat "karne") terms-tg.txt 226-226

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


(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 18046-18046

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 14969-14980

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