appearance as argument number 1 |
(documentation Beef EnglishLanguage "Meat that was originally part of a Cow.") | Mid-level-ontology.kif 20395-20395 | |
(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 20396-20396 | Beef is the meat of cow |
(subclass Beef Meat) | Mid-level-ontology.kif 20394-20394 | 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 10481-10481 | |
(termFormat ChineseTraditionalLanguage Beef "牛肉") | domainEnglishFormat.kif 10480-10480 | |
(termFormat EnglishLanguage Beef "beef") | domainEnglishFormat.kif 10479-10479 |
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 |
|