Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExpenseReport |
| appearance as argument number 1 |
|
| (subclass ExpenseReport Report) | TravelPolicies.kif 592-592 | ExpenseReport is a subclass of report |
| antecedent |
|
|
| (=> (instance ?ER ExpenseReport) (exists (?EMPLOYEE ?ORG) (and (instance ?ER Report) (agent ?ER ?EMPLOYEE) (patient ?ER ?ORG)))) |
TravelPolicies.kif 594-600 | If X is an instance of ExpenseReport, then there exist Y, Z such that X is an instance of report, Y is an agent of X, and Z is a patient of X |
| (=> (instance ?ER ExpenseReport) (hasPurpose ?ER (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?ER))))) |
TravelPolicies.kif 604-610 | If X is an instance of ExpenseReport, then X has the purpose there exists Y such that Y is an instance of communication and X is an instrument for Y |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?ER ExpenseReport) (patient ?ER ?CBO)) (represents ?ER ?PROP)) |
TravelPolicies.kif 614-621 | If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of ExpenseReport, and Y is a patient of Z, then Z expresses X |
| (=> (instance ?ER ExpenseReport) (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2) (and (refers ?PHYS ?ENTITY) (patient ?ER ?PHYS) (instance ?AGENT1 CognitiveAgent) (agent ?ER ?AGENT1) (instance ?AGENT2 CognitiveAgent) (destination ?ER ?AGENT2) (employs ?AGENT2 ?AGENT1)))) |
TravelPolicies.kif 627-637 | If X is an instance of ExpenseReport, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V (8) V employs W |
| (=> (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 |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
|