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


KB Term:  Term intersection
English Word: 

Sigma KEE - guest
guest

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


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

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


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

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


(=>
    (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 ?HOTEL ?CUST
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O))))))))		 Hotel.kif 294-313 If All of the following hold: (1) X is a guest at Y (2) X stays at Z (3) Z is an element of belongings of Y (4) Z is an instance of W (5) V is an amenity in W (6) V is a subclass of object, then there exists U such that U is an instance of V, U is located at Z, X allows there exists T such that X is an agent of T, and U is an instrument for T or U is a patient of T or U is a resource for T to perform task of the type Y
(=>
    (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 688-699 If one must check out before X at Y and Z is a guest at Y, then Y expects there exist W, V such that W is an instance of X, Z is a patient of V, V is an instance of check-out service, Y is an agent of V, and the beginning of the time of existence of V happens before W will be true
(=>
    (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 1533-1546 If X employs Y, traveler accommodation is an attribute of X, tennis pro is an attribute of Y, and Z is a guest at X, then the statement there exist W, V such that W is an instance of tennis, Y participates in W, Z participates in W, W is located at V, and X is located at V has the modal force of possibility
(=>
    (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 1569-1589 If All of the following hold: (1) X offers items for sale in Y (2) Y is an instance of meal plan (3) meals of type Z are includes in Y (4) traveler accommodation is an attribute of X (5) W is a guest at X (6) W buys Y from X, then there exists V such that there exists U such that Z is an attribute of U, U has the purpose there exists T such that T is an instance of eating, W is an agent of T, and U is a patient of T holds during V holds during the time of existence of W is a guest at X

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


(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))		 Hotel.kif 69-75 If X rents Y to Z during W, traveler accommodation is an attribute of X, and Y is an instance of hotel unit, then Z is a guest at X holds during W
(=>
    (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 1569-1589 If All of the following hold: (1) X offers items for sale in Y (2) Y is an instance of meal plan (3) meals of type Z are includes in Y (4) traveler accommodation is an attribute of X (5) W is a guest at X (6) W buys Y from X, then there exists V such that there exists U such that Z is an attribute of U, U has the purpose there exists T such that T is an instance of eating, W is an agent of T, and U is a patient of T holds during V holds during the time of existence of W is a guest at X
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM ?STAY)
            (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 2665-2685 If X is an instance of daily housekeeping and Y enacts policy X, then All of the following hold: (1) the statement there exist Z, W (2) V such that Z is a guest at Y (3) Z stays at W (4) equal V (5) the time of existence of Z stays at W (6) U U is an instance of day (7) U takes place during Vthere exists T such that T is an instance of service (8) W is a patient of T (9) T takes place during U holds during V has the modal force of likely
(=>
    (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 2692-2708 If X is an instance of no housekeeping, Y enacts policy X, and traveler accommodation is an attribute of Y, then the statement there exist Z, W such that Z is a guest at Y, there doesn't exist V such that V is an instance of service, and W is a patient of V holds during the time of existence of Z stays at W has the modal force of likely
(=>
    (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 2715-2730 If X is an instance of with housekeeping, Y enacts policy X, and traveler accommodation is an attribute of Y, then the statement there exist Z, W such that Z is a guest at Y, there exists V such that V is an instance of service, and W is a patient of V holds during the time of existence of Z stays at W has the modal force of likely
(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))		 Hotel.kif 2755-2768 If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S


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