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
(=>
    (and
        (instance ?AS AccommodationService)
        (serviceRecipient ?AS ?CUST)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (instance ?CUST Human)
        (instance ?ROOM HotelRoom)
        (instance ?H Hotel-Organization))
    (exists (?RATE ?PS)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (rents ?CUST ?H ?ROOM
                (MeasureFn 1 DayDuration)))))
TravelPolicies.kif 1137-1150
(=>
    (and
        (instance ?H Hotel-Organization)
        (attribute ?H PrivateRate)
        (instance ?ROOM HotelRoom)
        (located ?ROOM ?H))
    (exists (?RATE1 ?PS ?ORG)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE1 ?ORG ?PS))))
TravelPolicies.kif 1014-1023
(=>
    (instance ?ROOM HotelRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HotelBuilding)
            (part ?ROOM ?BLDG))))
Hotel.kif 120-125

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


(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?SuiteRoom Prohibition ?TP ?COMPANY))
    (exists (?H ?ROOM)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (instance ?H Hotel-Organization)
            (instance ?ROOM HotelRoom)
            (not
                (attribute ?ROOM SuiteRoom)))))
TravelPolicies.kif 1106-1124
(=>
    (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 ?DR DoubleRoom)
    (exists (?B ?B1 ?B2)
        (or
            (and
                (instance ?B DoubleBed)
                (instance ?DR HotelRoom)
                (located ?B ?DR))
            (and
                (instance ?B1 SingleBed)
                (instance ?B2 SingleBed)
                (instance ?DR HotelRoom)
                (located ?B1 ?DR)
                (located ?B2 ?DR)))))
TravelPolicies.kif 1065-1078
(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))
Hotel.kif 77-82
(=>
    (instance ?KB KingBedRoom)
    (exists (?B)
        (and
            (instance ?KB HotelRoom)
            (instance ?B KingBed)
            (located ?B ?KB))))
TravelPolicies.kif 1055-1061
(=>
    (instance ?QB QueenBedRoom)
    (exists (?B)
        (and
            (instance ?QB HotelRoom)
            (instance ?B QueenBed)
            (located ?B ?QB))))
TravelPolicies.kif 1047-1053
(=>
    (instance ?RR RoomRate)
    (exists (?H ?ROOM ?ORG ?PS)
        (and
            (instance ?H Hotel-Organization)
            (instance ?ROOM HotelRoom)
            (located ?ROOM ?H)
            (rentalPrice ?ROOM ?RR ?ORG ?PS))))
TravelPolicies.kif 1003-1010


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