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


KB Term:  Term intersection
English Word: 

  guest

 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

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
        (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 2762-2775 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners