HotelFrontDesk - Sigma Knowledge base Browser

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	Front desk is a subclass of organization

appearance as argument number 2

(termFormat EnglishLanguage HotelFrontDesk "front desk")

Hotel.kif 1746-1746

antecedent

(=> (instance ?X HotelFrontDesk) (exists (?ORG) (and (attribute ?ORG TravelerAccommodation) (subOrganization ?X ?ORG))))	Hotel.kif 1748-1753	If an organization is an instance of front desk, then there exists another organization such that traveler accommodation is an attribute of the other organization and the organization is a part of the organization the other organization
(=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X)))))	Hotel.kif 1755-1763	If a physical is an instance of front desk, then the physical has the purpose there exists an entity such that the entity is an instance of check-in service or the entity is an instance of check-out service and the physical is an agent of the entity

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

If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room,
then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object

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

KB Term:			Term intersection

English Word: