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 1742-1745
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk机构subclass

appearance as argument number 2

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


    (instance ?X HotelFrontDesk)
    (exists (?ORG)
            (attribute ?ORG TravelerAccommodation)
            (subOrganization ?X ?ORG))))
Hotel.kif 1748-1753
    (instance ?X HotelFrontDesk)
    (hasPurpose ?X
        (exists (?CHECK)
                    (instance ?CHECK CheckInService)
                    (instance ?CHECK CheckOutService))
                (agent ?CHECK ?X)))))
Hotel.kif 1755-1763


        (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 1127-1140

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 is open source software produced by Articulate Software and its partners