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


KB Term:  Term intersection
English Word: 

Sigma KEE - HotelFrontDesk
HotelFrontDesk(front desk)

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


(subclass HotelFrontDesk Organization) Hotel.kif 1752-1752 Front desk is a subclass of organization
(documentation HotelFrontDesk EnglishLanguage "HotelFrontDesk is a subOrganization of a TravelerAccommodation that takes charge of all CheckInService and CheckOutService transactions. They often do other miscellaneous things too at the request of the hotel guest") Hotel.kif 1753-1756 Front desk is a subclass of organization

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


(termFormat EnglishLanguage HotelFrontDesk "front desk") Hotel.kif 1757-1757

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


(=>
    (instance ?X HotelFrontDesk)
    (exists (?ORG)
        (and
            (attribute ?ORG TravelerAccommodation)
            (subOrganization ?X ?ORG))))		 Hotel.kif 1759-1764 If X is an instance of front desk, then there exists Y such that traveler accommodation is an attribute of Y and X is a part of the organization Y
(=>
    (instance ?X HotelFrontDesk)
    (hasPurpose ?X
        (exists (?CHECK)
            (and
                (or
                    (instance ?CHECK CheckInService)
                    (instance ?CHECK CheckOutService))
                (agent ?CHECK ?X)))))		 Hotel.kif 1766-1774 If X is an instance of front desk, then X has the purpose there exists Y such that Y is an instance of check-in service or Y is an instance of check-out service and X is an agent of Y

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


(=>
    (and
        (element ?ROOM
            (PropertyFn ?HOTEL))
        (attribute ?ROOM AnnexRoom)
        (instance ?ROOM HotelRoom))
    (exists (?BLDG1 ?BLDG2 ?FRNT)
        (and
            (subOrganization ?FRNT ?HOTEL)
            (instance ?FRNT HotelFrontDesk)
            (located ?FRNT ?BLDG1)
            (element ?BLDG1
                (PropertyFn ?HOTEL))
            (element ?BLDG2
                (PropertyFn ?HOTEL))
            (part ?ROOM ?BLDG2)
            (not
                (equal ?BLDG1 ?BLDG2)))))		 Hotel.kif 1135-1148 If X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners