RestaurantBuilding - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 24833-24833	Restaurant building is a subclass of building
(documentation RestaurantBuilding EnglishLanguage "A Building where people pay to be served food and eat. Some restaurants may also offer entertainment.")	Mid-level-ontology.kif 24834-24835	Restaurant building is a subclass of building
(externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Restaurant.jpg")	pictureList.kif 1954-1954	Restaurant building is a subclass of building
(externalImage RestaurantBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ 20051129-MelbMeetup_Dining.JPG")	pictureList.kif 2334-2334	Restaurant building is a subclass of building

appearance as argument number 2

(termFormat EnglishLanguage RestaurantBuilding "restaurant building")	domainEnglishFormat.kif 49773-49773
(termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築")	domainEnglishFormat.kif 49774-49774
(termFormat ChineseLanguage RestaurantBuilding "餐厅建筑")	domainEnglishFormat.kif 49775-49775

antecedent

(=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 8590-8592	If X is an instance of restaurant building, then X is capable of doing cooking as a event located
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?P (exists (?EV) (and (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X))))))))	Mid-level-ontology.kif 24837-24853	If X is an instance of restaurant building, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y employs Z (3) Y possesses X (4) W is an instance of human (5) V is an instance of financial transaction (6) W is an agent of V (7) Z is a patient of V (8) W allows there exists U such that U is an instance of eating (9) W is an agent of U (10) U is located at X to perform task of the type Z

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)))))

If X is an instance of restaurant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of commercial service (3) X is an agent of Y (4) Y is an instance of selling (5) W is an instance of restaurant building (6) Y is located at W (7) Z is a patient of Y (8) Z is an instance of food for human