Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TravelRequest(an employee must request permission to go in a BusinessTrip) |
| appearance as argument number 1 |
|
| (documentation TravelRequest EnglishLanguage "A TravelRequest expresses a desire that some future BusinessTrip.") | TravelPolicies.kif 480-480 | |
| (subclass TravelRequest Requesting) | TravelPolicies.kif 482-482 | An employee must request permission to go in a BusinessTrip is a subclass of requesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TravelRequest "an employee must request permission to go in a BusinessTrip") | TravelPolicies.kif 481-481 |
| antecedent |
|
|
| (=> (and (instance ?TR TravelRequest) (agent ?TR ?EMPLOYEE) (containsFormula ?TR ?FORM)) (desires ?EMPLOYEE ?FORM)) |
TravelPolicies.kif 497-502 | If X is an instance of an employee must request permission to go in a BusinessTrip, Y is an agent of X, and X contains the formula Z, then Y desires Z |
| consequent |
|
|
| (=> (instance ?FORM TravelRequestForm) (exists (?PROP) (and (instance ?FORM TravelRequestForm) (containsInformation ?FORM ?PROP) (property ?PROP TravelRequest)))) |
TravelPolicies.kif 523-529 | If X is an instance of TravelRequestForm, then there exists Y such that X is an instance of TravelRequestForm, X contains information Y, and Y the attribute an employee must request permission to go in a BusinessTrip |
| (=> (instance ?T TravelRequestForm) (hasPurpose ?T (exists (?R) (and (instance ?R TravelRequest) (instrument ?R ?T))))) |
TravelPolicies.kif 532-538 | If X is an instance of TravelRequestForm, then X has the purpose there exists Y such that Y is an instance of an employee must request permission to go in a BusinessTrip and X is an instrument for Y |
|