| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1915-1921 |
|
| (=> (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 |
|
| (subclass Meat AnimalSubstance) | Merge.kif 15029-15029 | 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 21984-21984 | Beef est une sous-classe de viande |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 21989-21989 | ChickenMeat est une sous-classe de viande |
| (subclass Pork Meat) | Mid-level-ontology.kif 21991-21991 | Pork est une sous-classe de viande |
| (subclass Egg Meat) | Merge.kif 15179-15179 | Egg est une sous-classe de viande |
| (subclass Seafood Meat) | Food.kif 1927-1927 | Seafood est une sous-classe de viande |
| (subclass PoultryMeat Meat) | Food.kif 2034-2034 | PoultryMeat est une sous-classe de viande |
| (subclass CuredMeat Meat) | Food.kif 2133-2133 | CuredMeat est une sous-classe de viande |
| (subclass GoatMeat Meat) | Food.kif 2595-2595 | GoatMeat est une sous-classe de viande |
| (subclass LambMeat Meat) | Economy.kif 5292-5292 | LambMeat est une sous-classe de viande |
| (subclass Mutton Meat) | Economy.kif 5297-5297 | Mutton est une sous-classe de viande |
| (subclass Veal Meat) | Economy.kif 5310-5310 | Veal est une sous-classe de viande |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 5315-5315 | WaterBuffaloMeat est une sous-classe de viande |
|
|