Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PolicyDocument(policy document) |
| appearance as argument number 1 |
|
| (documentation PolicyDocument EnglishLanguage "Instances of PolicyDocument are TextDocuments that describe the terms of a specific policy (e.g. Travel Policy) of a given company.") | TravelPolicies.kif 273-274 | |
| (subclass PolicyDocument TextDocument) | TravelPolicies.kif 276-276 | Policy document is a subclass of text document |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DOC PolicyDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Policy)))) |
TravelPolicies.kif 278-283 | If X is an instance of policy document, then there exists Y such that X contains information Y and Y the attribute policy |
| (=> (and (instance ?DOC PolicyDocument) (containsFormula ?DOC ?PROP)) (modalAttribute ?PROP Legal)) |
TravelPolicies.kif 288-292 | If X is an instance of policy document and X contains the formula Y, then the statement Y has the modal force of legal |
|