TreeView Knowledge Base Browser

appearance as argument number 1

(subclass OutOfPolicyAccom 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)))))

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