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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - HotelFrontDesk

appearance as argument number 1

(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 1686-1689
(subclass HotelFrontDesk Organization) Hotel.kif 1685-1685

appearance as argument number 2

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


    (instance ?X HotelFrontDesk)
    (exists (?ORG)
            (attribute ?ORG TravelerAccommodation)
            (subOrganization ?X ?ORG))))
Hotel.kif 1692-1697
    (instance ?X HotelFrontDesk)
    (hasPurpose ?X
        (exists (?CHECK)
                    (instance ?CHECK CheckInService)
                    (instance ?CHECK CheckOutService))
                (agent ?CHECK ?X)))))
Hotel.kif 1699-1707


        (element ?ROOM
            (PropertyFn ?HOTEL))
        (attribute ?ROOM AnnexRoom)
        (instance ?ROOM HotelRoom))
    (exists (?BLDG1 ?BLDG2 ?FRNT)
            (subOrganization ?FRNT ?HOTEL)
            (instance ?FRNT HotelFrontDesk)
            (located ?FRNT ?BLDG1)
            (element ?BLDG1
                (PropertyFn ?HOTEL))
            (element ?BLDG2
                (PropertyFn ?HOTEL))
            (part ?ROOM ?BLDG2)
                (equal ?BLDG1 ?BLDG2)))))
Hotel.kif 1080-1093

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners