Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OutOfPolicyAccom |
| appearance as argument number 1 |
|
| (subclass OutOfPolicyAccom AccommodationService) | TravelPolicies.kif 1327-1327 | OutOfPolicyAccom is a subclass of AccommodationService |
| antecedent |
|
|
| (=> (instance ?OOP OutOfPolicyAccom) (exists (?ORG ?POL ?PROP1 ?PROP2) (and (instance ?ORG Organization) (instance ?POL Policy) (policyOwner ?ORG ?POL) (containsFormula ?POL ?PROP1) (containsFormula ?OOP ?PROP2) (not (consistent ?PROP1 ?PROP2))))) |
TravelPolicies.kif 1329-1339 | If X is an instance of OutOfPolicyAccom, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of organization (3) Z is an instance of policy (4) Y enacts policy Z (5) Z contains the formula W (6) X contains the formula V (7) V is not a consistent of W |
|