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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - guest
guest

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


(documentation guest EnglishLanguage "guest refers to the customer living in a TemporaryResidence for the duration of his stay there") Hotel.kif 57-58
(domain guest 1 CognitiveAgent) Hotel.kif 61-61 The number 1 argument of guest is an instance of cognitive agent
(domain guest 2 CognitiveAgent) Hotel.kif 62-62 The number 2 argument of guest is an instance of cognitive agent
(instance guest BinaryPredicate) Hotel.kif 56-56 guest is an instance of binary predicate
(subrelation guest customer) Hotel.kif 55-55 guest is a subrelation of customer

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


(format ChineseLanguage guest "%1 是在 %2 的 guest ") domainEnglishFormat.kif 3571-3571
(format ChineseTraditionalLanguage guest "%1 是在 %2 的 guest ") domainEnglishFormat.kif 3570-3570
(format EnglishLanguage guest "%1 is a guest at %2") domainEnglishFormat.kif 3569-3569
(termFormat EnglishLanguage guest "guest") Hotel.kif 59-59

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


(=>
    (and
        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T)))))
Hotel.kif 663-674
(=>
    (and
        (employs ?HOTEL ?ATHLETE)
        (attribute ?HOTEL TravelerAccommodation)
        (attribute ?ATHLETE TennisProfessional)
        (guest ?CUST ?HOTEL))
    (modalAttribute
        (exists (?TENNIS ?LOC)
            (and
                (instance ?TENNIS Tennis)
                (contestParticipant ?TENNIS ?ATHLETE)
                (contestParticipant ?TENNIS ?CUST)
                (located ?TENNIS ?LOC)
                (located ?HOTEL ?LOC))) Possibility))
Hotel.kif 1484-1497
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1520-1540

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


(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (stays ?GUEST ?ROOM)
                (equal ?STAY
                    (WhenFn
                        (stays ?GUEST ?ROOM)))
                (holdsDuring ?STAY
                    (forall (?DAY)
                        (=>
                            (and
                                (instance ?DAY Day)
                                (during ?DAY ?STAY))
                            (exists (?RC)
                                (and
                                    (instance ?RC RoomCleaningService)
                                    (patient ?RC ?ROOM)
                                    (during ?RC ?DAY)))))))) Likely))
Hotel.kif 2614-2634
(=>
    (and
        (instance ?POLICY NoHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (not
                        (exists (?CLEAN)
                            (and
                                (instance ?CLEAN RoomCleaningService)
                                (patient ?CLEAN ?ROOM))))))) Likely))
Hotel.kif 2641-2657
(=>
    (and
        (instance ?POLICY WithHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (exists (?CLEAN)
                        (and
                            (instance ?CLEAN RoomCleaningService)
                            (patient ?CLEAN ?ROOM)))))) Likely))
Hotel.kif 2664-2679
(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1520-1540
(=>
    (and
        (propositionOwner ?HP ?AGENT)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (part ?ROOM ?HOTEL)
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2701-2713
(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))
Hotel.kif 64-70


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