| RestaurantBuilding
| |
| appearance as argument number 1 |
|
|
| (documentation RestaurantBuilding EnglishLanguage "A Building where people pay to be served food and eat. Some restaurants may also offer entertainment.") | Mid-level-ontology.kif 22609-22610 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Restaurant.jpg") | pictureList.kif 1955-1955 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ 20051129-MelbMeetup-Dining.JPG") | pictureList.kif 2335-2335 | |
| (subclass RestaurantBuilding Building) | Mid-level-ontology.kif 22608-22608 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RestaurantBuilding "餐厅建筑") | domainEnglishFormat.kif 49780-49780 | |
| (termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築") | domainEnglishFormat.kif 49779-49779 | |
| (termFormat EnglishLanguage RestaurantBuilding "restaurant building") | domainEnglishFormat.kif 49778-49778 |
| antecedent |
|
|
| (=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE)) |
Mid-level-ontology.kif 7320-7322 | |
| (=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 22612-22626 |
| consequent |
|
|
| (=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human))))) |
Mid-level-ontology.kif 7308-7318 |
|
|
|