Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HotelOrganization |
| appearance as argument number 1 |
|
| (documentation HotelOrganization EnglishLanguage "An organization that provides TravelerAccommodation, usually in a Hotel building and style.") | TravelPolicies.kif 713-713 | |
| (subclass HotelOrganization ServiceOrganization) | TravelPolicies.kif 716-716 | HotelOrganization is a subclass of service organization |
| antecedent |
|
|
| (=> (instance ?H HotelOrganization) (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 731-740 | If X is an instance of HotelOrganization, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of AccommodationService (3) traveler accommodation is an attribute of X (4) X is an agent of Y (5) Y ends up at Z (6) W is an instrument for Y (7) W is an instance of hotel unit |
| (=> (and (instance ?H HotelOrganization) (instance ?ORG Organization) (instance ?TP TravelPolicy) (policyOwner ?ORG ?TP)) (or (attribute ?H PrivateRate) (not (attribute ?H PrivateRate)))) |
TravelPolicies.kif 955-964 | If X is an instance of HotelOrganization, Y is an instance of organization, Z is an instance of TravelPolicy, and Y enacts policy Z, then PrivateRate is an attribute of X or PrivateRate is not an attribute of X |
| 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 HotelOrganization)))) |
TravelPolicies.kif 718-728 | If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that Z is an instance of AccommodationService, Z is a subprocess of X, Y receives a service during Z, W provides a service during Z, and W is an instance of HotelOrganization |
| (=> (instance ?AS AccommodationService) (exists (?HOTEL ?CUSTOMER ?ROOM) (and (instance ?HOTEL HotelOrganization) (instance ?CUSTOMER Human) (instance ?ROOM HotelUnit) (serviceProvider ?AS ?HOTEL) (serviceRecipient ?AS ?CUSTOMER) (serviceInstrument ?AS ?ROOM)))) |
TravelPolicies.kif 753-762 | If X is an instance of AccommodationService, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of HotelOrganization (3) Z is an instance of human (4) W is an instance of hotel unit (5) Y provides a service during X (6) Z receives a service during X (7) serviceInstrument X (8) W |
| (=> (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 HotelOrganization)))) |
TravelPolicies.kif 989-1004 | If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization |
|