| appearance as argument number 1 |
|
|
| (documentation Beef EnglishLanguage "Meat that was originally part of a Cow.") | Mid-level-ontology.kif 20626-20626 | |
| (externalImage Beef "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Beef_inspection_USDA.jpg") | pictureList.kif 922-922 | |
| (externalImage Beef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Beef_cuts.svg/ 511px-Beef_cuts.svg.png") | pictureList.kif 923-923 | |
| (meatOfAnimal Beef Cow) | Mid-level-ontology.kif 20627-20627 | Beef is the meat of cow |
| (subclass Beef Meat) | Mid-level-ontology.kif 20625-20625 | Beef is a subclass of meat |
| appearance as argument number 2 |
|
|
| (subclass Steak Beef) | Food.kif 3476-3476 | Steak is a subclass of beef |
| (termFormat ChineseLanguage Beef "牛肉") | domainEnglishFormat.kif 10495-10495 | Steak is a subclass of beef |
| (termFormat ChineseTraditionalLanguage Beef "牛肉") | domainEnglishFormat.kif 10494-10494 | Steak is a subclass of beef |
| (termFormat EnglishLanguage Beef "beef") | domainEnglishFormat.kif 10493-10493 | Steak is a subclass of beef |
| consequent |
|
|
| (=> (instance ?STEAKHOUSE Steakhouse) (exists (?SERVICE ?STEAK ?BEEF ?COOK) (and (instance ?COOK Cooking) (instance ?BEEF Beef) (resource ?COOK ?BEEF) (result ?COOK ?STEAK) (instance ?SERVICE CommercialService) (agent ?SERVICE ?STEAKHOUSE) (instance ?SERVICE Selling) (patient ?SERVICE ?STEAK)))) |
Dining.kif 88-99 |
|
|
|
|