(=> (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 14898-14898 | |
(subclass Meat Food) | Food.kif 291-291 | |
(subclass Beef Meat) | Mid-level-ontology.kif 20366-20366 | |
(subclass ChickenMeat Meat) | Mid-level-ontology.kif 20371-20371 | |
(subclass Pork Meat) | Mid-level-ontology.kif 20373-20373 | |
(subclass Egg Meat) | Merge.kif 15048-15048 | |
(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 |