| 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 24200-24201 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Restaurant.jpg") | pictureList.kif 1954-1954 | |
| (externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ 20051129-MelbMeetup_Dining.JPG") | pictureList.kif 2334-2334 | |
| (subclass RestaurantBuilding Building) | Mid-level-ontology.kif 24199-24199 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RestaurantBuilding "餐厅建筑") | domainEnglishFormat.kif 49782-49782 | |
| (termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築") | domainEnglishFormat.kif 49781-49781 | |
| (termFormat EnglishLanguage RestaurantBuilding "restaurant building") | domainEnglishFormat.kif 49780-49780 |
| antecedent |
|
|
| (=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE)) |
Mid-level-ontology.kif 8454-8456 | |
| (=> (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 24203-24217 |
| 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 8442-8452 |
|
|
|