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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hotel-Organization

Sigma KEE - Hotel-Organization
Hotel-Organization

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


(documentation Hotel-Organization EnglishLanguage "An organization that provides TravelerAccommodation, usually in a Hotel building and style.") TravelPolicies.kif 711-711
(subclass Hotel-Organization ServiceOrganization) TravelPolicies.kif 714-714

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


(=>
    (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
(=>
    (and
        (instance ?H Hotel-Organization)
        (instance ?ORG Organization)
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP))
    (or
        (attribute ?H PrivateRate)
        (not
            (attribute ?H PrivateRate))))
TravelPolicies.kif 946-955
(=>
    (instance ?H Hotel-Organization)
    (exists (?AS ?CUST ?ROOM)
        (and
            (instance ?AS AccommodationService)
            (attribute ?H TravelerAccommodation)
            (agent ?AS ?H)
            (destination ?AS ?CUST)
            (instrument ?AS ?ROOM)
            (instance ?ROOM HotelUnit))))
TravelPolicies.kif 729-738

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


(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE))
    (exists (?AS ?H)
        (and
            (instance ?AS AccommodationService)
            (subProcess ?AS ?BT)
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization))))
TravelPolicies.kif 716-726
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization)
            (subjectiveAttribute ?H Favorite ?ORG))))
TravelPolicies.kif 869-884
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrivRate Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (attribute ?H PrivateRate)
            (instance ?H Hotel-Organization))))
TravelPolicies.kif 980-995
(=>
    (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
(=>
    (and
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP)
        (policyClause ?PerDiemBound Obligation ?TP ?ORG))
    (exists (?AS ?H ?RATE ?ROOM ?BOUND)
        (and
            (instance ?AS AccommodationService)
            (instance ?H Hotel-Organization)
            (instance ?PS PricingScheme)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (not
                (greaterThan ?RATE ?BOUND))
            (equal ?BOUND
                (PerDiemFn ?ORG)))))
TravelPolicies.kif 1212-1227
(=>
    (instance ?AS AccommodationService)
    (and
        (serviceProvider ?AS Hotel-Organization)
        (serviceRecipient ?AS Human)
        (serviceInstrument ?AS HotelUnit)))
TravelPolicies.kif 750-755
(=>
    (instance ?AS AccommodationService)
    (and
        (serviceProvider ?AS Hotel-Organization)
        (serviceRecipient ?AS Human)))
TravelPolicies.kif 741-745
(=>
    (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