| (documentation Meat EnglishLanguage "Any Food which was originally part of an Animal and is not ingested by drinking, including eggs and animal blood that is eaten as food. Note that this class covers both raw meat and meat that has been prepared in some way, e.g. by cooking. Note too that preparations involving Meat and FruitOrVegetable are classed directly under Food.") | Merge.kif 12009-12014 | %3 |
| (externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") | pictureList.kif 903-903 | externalImage meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg" |
| (subclass Meat AnimalAgriculturalProduct) | Economy.kif 4242-4242 | meat is a subclass of animal agricultural product |
| (subclass Meat Food) | Merge.kif 12008-12008 | meat is a subclass of food |
| (domainSubclass meatOfAnimal 1 Meat) | Mid-level-ontology.kif 13621-13621 | the number 1 argument of meat of animal is a subclass of meat |
| (=> (instance ?MEAT Meat) (forall (?PART) (=> (part ?PART ?MEAT) (exists (?SUBPART ?TIME ?ANIMAL) (and (part ?SUBPART ?PART) (holdsDuring ?TIME (and (instance ?ANIMAL Animal) (part ?SUBPART ?ANIMAL)))))))) |
Merge.kif 12016-12027 |
|
|