Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ScarletFever
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Reimbursement FinancialTransaction) | TravelPolicies.kif 653-653 | Reimbursement is a subclass of financial transaction |
| (documentation Reimbursement EnglishLanguage "A FinancialTransaction where an employee of a company incurs a business expense using his or her own funds and is later paid for the purchases by the company.") | TravelPolicies.kif 654-656 | Reimbursement is a subclass of financial transaction |
| consequent |
|
|
| (=> (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 |
|