appearance as argument number 1 |
(documentation Beef EnglishLanguage "Meat that was originally part of a Cow.") | Mid-level-ontology.kif 20367-20367 | |
(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 20368-20368 | Beef is the meat of cow |
(subclass Beef Meat) | Mid-level-ontology.kif 20366-20366 | 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 |
|