| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 255-261 | |
| (subclass Meat SelfConnectedObject) | Merge.kif 14179-14179 | |
| (subclass Beef Meat) | Mid-level-ontology.kif 18477-18477 | |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 18482-18482 | |
| (subclass Pork Meat) | Mid-level-ontology.kif 18484-18484 | |
| (subclass Seafood Meat) | Food.kif 267-267 | |
| (subclass PoultryMeat Meat) | Food.kif 374-374 | |
| (subclass GoatMeat Meat) | Food.kif 580-580 | |
| (subclass Mutton Meat) | Economy.kif 4268-4268 | |
| (subclass Veal Meat) | Economy.kif 4269-4269 | |
| (subclass LambMeat Meat) | Economy.kif 4270-4270 | |
| (subclass TurkeyMeat Meat) | Economy.kif 4271-4271 | |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 4272-4272 |
|
|