| appearance as argument number 1 |
|
|
| (disjoint Meat Beverage) | Merge.kif 12037-12037 | Meat is disjoint from beverage |
| (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 fruit or vegetable are classed directly under Food.") | Merge.kif 12038-12043 | |
| (externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") | pictureList.kif 902-902 | externalImage meat and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg" |
| (subclass Meat AnimalAgriculturalProduct) | Economy.kif 4224-4224 | Meat is a subclass of animal agricultural product |
| (subclass Meat SelfConnectedObject) | Merge.kif 12036-12036 | Meat is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| (subclass Beef Meat) | Mid-level-ontology.kif 13671-13671 | Beef is a subclass of meat |
| (subclass ChickenMeat Meat) | Mid-level-ontology.kif 13676-13676 | Chicken meat is a subclass of meat |
| (subclass FishMeat Meat) | Mid-level-ontology.kif 13681-13681 | Fish meat is a subclass of meat |
| (subclass LambMeat Meat) | Economy.kif 4228-4228 | Lamb meat is a subclass of meat |
| (subclass Mutton Meat) | Economy.kif 4226-4226 | Mutton is a subclass of meat |
| (subclass Pork Meat) | Mid-level-ontology.kif 13678-13678 | Pork is a subclass of meat |
| (subclass Seafood Meat) | Economy.kif 4232-4232 | Seafood is a subclass of meat |
| (subclass TurkeyMeat Meat) | Economy.kif 4229-4229 | Turkey meat is a subclass of meat |
| (subclass Veal Meat) | Economy.kif 4227-4227 | Veal is a subclass of meat |
| (subclass WaterBuffaloMeat Meat) | Economy.kif 4230-4230 | Water buffalo meat is a subclass of meat |
| (termFormat EnglishLanguage Meat "meat") | english_format.kif 690-690 | term format english language, meat and "meat" |
| appearance as argument number 3 |
|
|
| (domainSubclass meatOfAnimal 1 Meat) | Mid-level-ontology.kif 13659-13659 | The number 1 argument of meat of animal is a subclass of meat |
| antecedent |
|
|
| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Merge.kif 12045-12051 |
|
| (=> (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 12053-12064 |
|
|
|