| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1909-1915 | |
| (=> (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 | |
| (subclass Meat AnimalSubstance) | Merge.kif 14876-14876 | |
| (subclass Meat Food) | Food.kif 291-291 | |
| (subclass Beef Meat) | Mid-level-ontology.kif 20367-20367 | |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 20372-20372 | |
| (subclass Pork Meat) | Mid-level-ontology.kif 20374-20374 | |
| (subclass Egg Meat) | Merge.kif 15026-15026 | |
| (subclass Seafood Meat) | Food.kif 1921-1921 | |
| (subclass PoultryMeat Meat) | Food.kif 2028-2028 | |
| (subclass CuredMeat Meat) | Food.kif 2126-2126 | |
| (subclass GoatMeat Meat) | Food.kif 2588-2588 | |
| (subclass LambMeat Meat) | Economy.kif 4952-4952 | |
| (subclass Mutton Meat) | Economy.kif 4957-4957 | |
| (subclass Veal Meat) | Economy.kif 4970-4970 | |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 4975-4975 |
|
|