| Meat
| |
| appearance as argument number 1 |
|
|
| (disjoint Meat Beverage) | Food.kif 391-391 | |
| (disjoint Meat FoodFromPlant) | Food.kif 292-292 | |
| (documentation Meat ChineseLanguage "这是任何来自 Animal 一部分的食物，一般不会通过饮用摄入体内， 包括鸡蛋和以食物形式进食动物的血液。注：这个类别同时包括生肉和经过某些方法处理如煮过的肉。再注：涉及 Meat 和 FruitOrVegetable 的制作直接归类于 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 15030-15035 | |
| (externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") | pictureList.kif 901-901 | |
| (subclass Meat AnimalSubstance) | Merge.kif 15029-15029 | |
| (subclass Meat Food) | Food.kif 291-291 |
| appearance as argument number 2 |
|
|
| (subclass Beef Meat) | Mid-level-ontology.kif 21984-21984 | |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 21989-21989 | |
| (subclass CuredMeat Meat) | Food.kif 2133-2133 | |
| (subclass Egg Meat) | Merge.kif 15179-15179 | |
| (subclass GoatMeat Meat) | Food.kif 2595-2595 | |
| (subclass LambMeat Meat) | Economy.kif 5292-5292 | |
| (subclass Mutton Meat) | Economy.kif 5297-5297 | |
| (subclass Pork Meat) | Mid-level-ontology.kif 21991-21991 | |
| (subclass PoultryMeat Meat) | Food.kif 2034-2034 | |
| (subclass Seafood Meat) | Food.kif 1927-1927 | |
| (subclass Veal Meat) | Economy.kif 5310-5310 | |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 5315-5315 | |
| (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 de Meat "Fleisch") | terms-de.txt 519-519 | |
| (termFormat ro Meat "carne") | relations-ro.kif 712-712 | |
| (termFormat tg Meat "karne") | terms-tg.txt 226-226 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass meatOfAnimal 1 Meat) | Mid-level-ontology.kif 21970-21970 |
| antecedent |
|
|
| (=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal)) |
Economy.kif 5285-5290 | |
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1639-1645 | |
| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1915-1921 | |
| (=> (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 15037-15048 |
| consequent |
|
|
| (=> (attribute ?F Vegetarian) (not (exists (?M) (and (instance ?M Meat) (part ?M ?F))))) |
Food.kif 3530-3536 |
|
|
|