Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BusinessTrip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BusinessTrip Trip) | TravelPolicies.kif 382-382 | BusinessTrip is a subclass of trip |
| antecedent |
|
|
| (=> (instance ?T BusinessTrip) (exists (?TRIP ?HUMAN ?ORG ?AREA) (and (instance ?TRIP Trip) (agent ?TRIP ?HUMAN) (organizationRepresentative ?HUMAN ?ORG) (hasPurpose ?TRIP (exists (?WORK) (and (instance ?WORK Working) (agent ?WORK ?HUMAN) (holdsDuring (WhenFn ?WORK) (not (and (basedIn ?HUMAN ?ORG ?AREA) (located ?WORK ?AREA)))))))))) |
TravelPolicies.kif 384-401 | If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and ~{ basedIn Z, W and V } or ~{ U is located at V } holds during the time of existence of U |
| (=> (and (instance ?T BusinessTrip) (agent ?T ?EMPLOYEE)) (exists (?SERVICE ?PAYMENT) (and (instance ?SERVICE CommercialService) (instance ?PAYMENT Payment) (subProcess ?PAYMENT ?SERVICE) (agent ?PAYMENT ?EMPLOYEE)))) |
TravelPolicies.kif 419-428 | 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 commercial service, W is an instance of payment, W is a subprocess of Z, and Y is an agent of W |
| (=> (and (instance ?BT BusinessTrip) (agent ?BT ?EMPLOYEE)) (exists (?TRAVELREQUEST ?CORPORATION) (and (employs ?CORPORATION ?EMPLOYEE) (instance ?TRAVELREQUEST Requesting) (agent ?TRAVELREQUEST ?EMPLOYEE) (result ?TRAVELREQUEST ?BT)))) |
TravelPolicies.kif 484-493 | If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that W employs Y, Z is an instance of requesting, Y is an agent of Z, and X is a result of Z |
| (=> (instance ?BT BusinessTrip) (exists (?TA) (and (instance ?TA TravelApproval) (agent ?TA ?ORG) (patient ?TA ?BT)))) |
TravelPolicies.kif 542-548 | If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of TravelApproval, Z is an agent of Y, and X is a patient of Y |
| (=> (instance ?BT BusinessTrip) (exists (?ER ?EMPLOYEE) (and (instance ?ER ExpenseReport) (agent ?BT ?EMPLOYEE) (agent ?ER ?EMPLOYEE)))) |
TravelPolicies.kif 578-584 | If X is an instance of BusinessTrip, then there exist Y, Z such that Y is an instance of ExpenseReport, Z is an agent of X, and Z is an agent of Y |
| (=> (instance ?BT BusinessTrip) (exists (?R) (and (instance ?R Payment) (agent ?BT ?EMPLOYEE) (agent ?R ?ORG) (destination ?R ?EMPLOYEE)))) |
TravelPolicies.kif 642-649 | If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of payment, Z is an agent of X, W is an agent of Y, and Y ends up at Z |
| (=> (and (instance ?BT BusinessTrip) (instance ?ER ExpenseReport)) (exists (?EMPLOYEE ?ORG) (and (instance ?R Reimbursement) (agent ?BT ?EMPLOYEE) (agent ?R ?ORG) (destination ?R ?EMPLOYEE)))) |
TravelPolicies.kif 658-667 | If X is an instance of BusinessTrip and Y is an instance of ExpenseReport, then there exist Z, W such that V is an instance of Reimbursement, Z is an agent of X, W is an agent of V, and V ends up at Z |
| (=> (and (instance ?BT BusinessTrip) (agent ?BT ?EMPLOYEE) (employs ?ORG ?EMPLOYEE)) (exists (?TA ?ER ?R) (and (instance ?TA TravelApproval) (instance ?ER ExpenseReport) (instance ?R Reimbursement) (agent ?TA ?ORG) (agent ?ER ?EMPLOYEE) (agent ?R ?ORG)))) |
TravelPolicies.kif 672-684 | If X is an instance of BusinessTrip, Y is an agent of X, and Z employs Y, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of TravelApproval (3) V is an instance of ExpenseReport (4) U is an instance of Reimbursement (5) Z is an agent of W (6) Y is an agent of V (7) Z is an agent of U |
| (=> (instance ?T BusinessTrip) (exists (?Destination) (and (instance ?Destination City) (destination ?BT ?Destination)))) |
TravelPolicies.kif 701-706 | If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of city and Z ends up at Y |
| (=> (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 |
| (=> (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 |
|
|
| (=> (and (instance ?TA TravelApproval) (possesses ?EMPLOYEE ?TA)) (confersNorm ?TA Permission (exists (?BT) (and (instance ?BT BusinessTrip) (patient ?TA ?BT) (agent ?BT ?EMPLOYEE))))) |
TravelPolicies.kif 565-574 | If X is an instance of TravelApproval and Y possesses X, then X confers norm permission for there exists Z such that Z is an instance of BusinessTrip, Z is a patient of X, and Y is an agent of Z |
| (=> (instance ?T TravelPolicy) (exists (?ORG ?INDIVIDUAL ?BUSINESSTRIP) (and (policyOwner ?ORG ?T) (organizationRepresentative ?INDIVIDUAL ?ORG) (instance ?BUSINESSTRIP BusinessTrip) (agent ?BUSINESSTRIP ?INDIVIDUAL)))) |
TravelPolicies.kif 1349-1356 | If X is an instance of TravelPolicy, then there exist Y, Z, W such that Y enacts policy X, an agent that is an organization representative (in some transaction) Z, Y, W is an instance of BusinessTrip, and Z is an agent of W |
|