TreeView Knowledge Base Browser - 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 22556-22557
(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 22555-22555	RestaurantBuilding è una sottoclasse di Costruzione

appearance as argument number 2

(termFormat ChineseLanguage RestaurantBuilding "餐厅建筑")	domainEnglishFormat.kif 49778-49778
(termFormat ChineseTraditionalLanguage RestaurantBuilding "餐廳建築")	domainEnglishFormat.kif 49777-49777
(termFormat EnglishLanguage RestaurantBuilding "restaurant building")	domainEnglishFormat.kif 49776-49776

antecedent

(=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 7292-7294	Oggetto è un' istanza di RestaurantBuilding Oggetto è capace di fare Cucinare nel ruolo eventLocated
(=> (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 22559-22573	Entit�Concreta è un' istanza di RestaurantBuilding Entit�Concreta ha scopo Entit� Entit�, Entit�, Entit� and Entit�AY Entit� impiegas Entit� Entit� possiedees Entit�Concreta Entit� è un' istanza di Umano Entit�AY è un' istanza di ScambioFinanziario Entit�AY è un agente di Entit� Entit� è un paziente di Entit�AY Entit� permette a Entit� di compiere il compito di tipo Entit� Entit� è un' istanza di Mangiare Entit� è un agente di Entit� eventLocated Entit� and Entit�Concreta

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 7280-7290