| 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 22003-22004 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Restaurant.jpg") | pictureList.kif 1956-1956 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ 20051129-MelbMeetup-Dining.JPG") | pictureList.kif 2336-2336 | |
| (subclass RestaurantBuilding Building) | Mid-level-ontology.kif 22002-22002 | 餐厅建筑 是 建筑物 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RestaurantBuilding "餐厅建筑") | domainEnglishFormat.kif 49761-49761 | |
| (termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築") | domainEnglishFormat.kif 49760-49760 | |
| (termFormat EnglishLanguage RestaurantBuilding "restaurant building") | domainEnglishFormat.kif 49759-49759 |
| antecedent |
|
|
| (=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE)) |
Mid-level-ontology.kif 6957-6959 | |
| (=> (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 22006-22020 |
|
| 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 6945-6955 |
|
|
|