| (=> (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 | Viande est une sous-classe de AnimalSubstance |
| (subclass Meat Food) | Food.kif 291-291 | Viande est une sous-classe de nourriture |
| (subclass Beef Meat) | Mid-level-ontology.kif 20367-20367 | Beef est une sous-classe de viande |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 20372-20372 | ChickenMeat est une sous-classe de viande |
| (subclass Pork Meat) | Mid-level-ontology.kif 20374-20374 | Pork est une sous-classe de viande |
| (subclass Egg Meat) | Merge.kif 15026-15026 | Egg est une sous-classe de viande |
| (subclass Seafood Meat) | Food.kif 1921-1921 | Seafood est une sous-classe de viande |
| (subclass PoultryMeat Meat) | Food.kif 2028-2028 | PoultryMeat est une sous-classe de viande |
| (subclass CuredMeat Meat) | Food.kif 2126-2126 | CuredMeat est une sous-classe de viande |
| (subclass GoatMeat Meat) | Food.kif 2588-2588 | GoatMeat est une sous-classe de viande |
| (subclass LambMeat Meat) | Economy.kif 4952-4952 | LambMeat est une sous-classe de viande |
| (subclass Mutton Meat) | Economy.kif 4957-4957 | Mutton est une sous-classe de viande |
| (subclass Veal Meat) | Economy.kif 4970-4970 | Veal est une sous-classe de viande |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 4975-4975 | WaterBuffaloMeat est une sous-classe de viande |
|
|