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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelRoom

Sigma KEE - HotelRoom
HotelRoom

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


(documentation HotelRoom EnglishLanguage "HotelRoom refers to a Room that is part of a HotelBuilding that serves as a TemporaryResidence for travelers") Hotel.kif 116-117
(subclass HotelRoom HotelUnit) Hotel.kif 115-115
(subclass HotelRoom Room) Hotel.kif 114-114

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


(termFormat EnglishLanguage HotelRoom "hotel room") Hotel.kif 118-118

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


(=>
    (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 1080-1093
(=>
    (instance ?ROOM HotelRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HotelBuilding)
            (part ?ROOM ?BLDG))))
Hotel.kif 120-125

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


(=>
    (attribute ?X ExclusiveFemaleLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN Female)
                        (stays ?HUMAN ?Y)))))))
Hotel.kif 1190-1201
(=>
    (attribute ?X ExecutiveLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN BusinessExecutive)
                        (instance ?HUMAN Human)
                        (stays ?HUMAN ?Y)))))))
Hotel.kif 1171-1183
(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))
Hotel.kif 77-82


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