TreeView 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 1753-1756
(subclass HotelFrontDesk Organization)	Hotel.kif 1752-1752	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 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 1766-1774	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 1135-1148

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 equal the other object and the third object

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

KB Term:			Term intersection

English Word: