Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TravelRequestForm |
| appearance as argument number 1 |
|
| (subclass TravelRequestForm FormText) | TravelPolicies.kif 521-521 | TravelRequestForm is a subclass of form text |
| antecedent |
|
|
| (=> (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 |
| 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 |
|