Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Restaurant
Restaurant(餐廳)

appearance as argument number 1
-------------------------


(documentation Restaurant EnglishLanguage "Any Business whose services include selling Food to customers which is intended to be eaten on the premises.") Mid-level-ontology.kif 7304-7305
(externalImage Restaurant "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ restaurant.png") pictureList.kif 692-692
(subclass Restaurant Business) Mid-level-ontology.kif 7303-7303 子類 餐廳 and Business

appearance as argument number 2
-------------------------


(subclass Cafeteria Restaurant) Mid-level-ontology.kif 7696-7696 子類 自助餐館 and 餐廳
(subclass Steakhouse Restaurant) Dining.kif 83-83 子類 Steakhouse and 餐廳
(subclass Tavern Restaurant) Mid-level-ontology.kif 7706-7706 子類 酒館 and 餐廳
(termFormat ChineseLanguage Restaurant "餐厅") domainEnglishFormat.kif 49774-49774
(termFormat ChineseTraditionalLanguage Restaurant "餐廳") domainEnglishFormat.kif 49773-49773
(termFormat EnglishLanguage Restaurant "restaurant") domainEnglishFormat.kif 49772-49772

antecedent
-------------------------


(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 20628-20650
(=>
    (and
        (instance ?REST Restaurant)
        (instance ?DR DiningRoom)
        (attribute ?DR PrivateAttribute)
        (possesses ?REST ?DR)
        (customer ?GRP1 ?REST)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople))
    (modalAttribute
        (not
            (exists (?GRP2 ?E2)
                (and
                    (customer ?GRP2 ?REST)
                    (not
                        (equal ?GRP1 ?GRP2))
                    (instance ?E2 Eating)
                    (agent ?E2 ?GRP2)
                    (holdsDuring
                        (WhenFn ?E1)
                        (eventLocated ?E2 ?DR))))) Likely))		 Dining.kif 1227-1246
(=>
    (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 7308-7318
(=>
    (instance ?R Restaurant)
    (exists (?D)
        (and
            (possesses ?R ?D)
            (instance ?D DiningArea))))		 Mid-level-ontology.kif 7324-7329

consequent
-------------------------


(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR RestaurantRating))
    (instance ?ENTITY Restaurant))		 Hotel.kif 3040-3044
(=>
    (instance ?R DiningReservation)
    (exists (?AGENT)
        (and
            (fulfillingEntity ?AGENT ?R)
            (instance ?AGENT Restaurant))))		 Dining.kif 749-754
(=>
    (instance ?X DiningGuide)
    (exists (?LOC ?REST)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC)
            (instance ?REST Restaurant)
            (located ?REST ?LOC)
            (refers ?X ?REST))))		 Mid-level-ontology.kif 26460-26468


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners