RestaurantBuilding - Sigma Knowledge base Browser

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 23671-23672
(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 23670-23670	Restaurant building is a subclass of building

appearance as argument number 2

(termFormat ChineseLanguage RestaurantBuilding "餐厅建筑")	domainEnglishFormat.kif 49811-49811
(termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築")	domainEnglishFormat.kif 49810-49810
(termFormat EnglishLanguage RestaurantBuilding "restaurant building")	domainEnglishFormat.kif 49809-49809

antecedent

(=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 8066-8068	If an object is an instance of restaurant building, then the object is capable of doing cooking as a event located
(=> (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 23674-23688	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at the physical

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 8054-8064