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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meat
Meat

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


(disjoint Meat Beverage) Food.kif 391-391 不相交的 Meat and Beverage
(disjoint Meat FoodFromPlant) Food.kif 292-292 不相交的 Meat and FoodFromPlant
(documentation Meat ChineseLanguage "这是任何来自 Animal 一部分的食物,一般不会通过饮用摄入体内, 包括鸡蛋和以食物形式进食动物的血液。注:这个类别同时包括生肉和经过某些方法处理如煮过的肉。再注:涉及 MeatFruitOrVegetable 的制作直接归类于 Food。") chinese_format.kif 3485-3487
(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 14877-14882
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") pictureList.kif 901-901
(subclass Meat AnimalSubstance) Merge.kif 14876-14876 子類 Meat and 動物物質
(subclass Meat Food) Food.kif 291-291 子類 Meat and Food

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


(subclass Beef Meat) Mid-level-ontology.kif 20367-20367 子類 牛肉 and Meat
(subclass ChickenMeat Meat) Mid-level-ontology.kif 20372-20372 子類 雞肉 and Meat
(subclass CuredMeat Meat) Food.kif 2126-2126 子類 CuredMeat and Meat
(subclass Egg Meat) Merge.kif 15026-15026 子類 and Meat
(subclass GoatMeat Meat) Food.kif 2588-2588 子類 GoatMeat and Meat
(subclass LambMeat Meat) Economy.kif 4952-4952 子類 羔羊肉 and Meat
(subclass Mutton Meat) Economy.kif 4957-4957 子類 羊肉 and Meat
(subclass Pork Meat) Mid-level-ontology.kif 20374-20374 子類 豬肉 and Meat
(subclass PoultryMeat Meat) Food.kif 2028-2028 子類 PoultryMeat and Meat
(subclass Seafood Meat) Food.kif 1921-1921 子類 海鮮 and Meat
(subclass Veal Meat) Economy.kif 4970-4970 子類 小牛肉 and Meat
(subclass WaterBuffaloMeat Meat) Economy.kif 4975-4975 子類 水牛肉 and Meat
(termFormat ChineseLanguage Meat "meat") chinese_format.kif 1013-1013
(termFormat EnglishLanguage Meat "meat") english_format.kif 1238-1238
(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 225-225
(termFormat JapaneseLanguage Meat "肉") japanese_format.kif 2374-2374
(termFormat PortugueseLanguage Meat "Carne") portuguese_format.kif 643-643
(termFormat cb Meat "karne") terms-cb.txt 227-227
(termFormat cz Meat "meat") terms-cz.txt 260-260
(termFormat ro Meat "carne") relations-ro.kif 712-712
(termFormat tg Meat "karne") terms-tg.txt 226-226

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


(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 20353-20353 域子類 動物的肉, 1 and Meat

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))
Economy.kif 4945-4950
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1633-1639
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 1909-1915
(=>
    (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 14884-14895

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


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


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 3.0 is open source software produced by Articulate Software and its partners