Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AccommodationService
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AccommodationService CommercialService) | TravelPolicies.kif 715-715 | AccommodationService is a subclass of commercial service |
| appearance as argument number 2 |
|
|
| (subclass OutOfPolicyAccom AccommodationService) | TravelPolicies.kif 1327-1327 | OutOfPolicyAccom is a subclass of AccommodationService |
| antecedent |
|
|
| (=> (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 |
| (=> (instance ?AS AccommodationService) (exists (?AMOUNT) (transactionAmount ?AS ?AMOUNT))) |
TravelPolicies.kif 774-777 | If X is an instance of AccommodationService, then there exists Y such that Y is a transaction amount of X |
| (=> (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 |
| consequent |
|
|
|