TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TravelApproval ExpressingApproval)

antecedent

(=>
    (and
        (instance ?TA TravelApproval)
        (possesses ?EMPLOYEE ?TA))
    (confersNorm ?TA Permission
        (exists (?BT)
            (and
                (instance ?BT BusinessTrip)
                (patient ?TA ?BT)
                (agent ?BT ?EMPLOYEE)))))

If X is an instance of TravelApproval and Y possesses X, then X confers norm permission for there exists Z such that Z is an instance of BusinessTrip, Z is a patient of X, and Y is an agent of Z

consequent

(=> (instance ?BT BusinessTrip) (exists (?TA) (and (instance ?TA TravelApproval) (agent ?TA ?ORG) (patient ?TA ?BT))))	TravelPolicies.kif 542-548	If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of TravelApproval, Z is an agent of Y, and X is a patient of Y
(=> (and (instance ?BT BusinessTrip) (agent ?BT ?EMPLOYEE) (employs ?ORG ?EMPLOYEE)) (exists (?TA ?ER ?R) (and (instance ?TA TravelApproval) (instance ?ER ExpenseReport) (instance ?R Reimbursement) (agent ?TA ?ORG) (agent ?ER ?EMPLOYEE) (agent ?R ?ORG))))	TravelPolicies.kif 672-684	If X is an instance of BusinessTrip, Y is an agent of X, and Z employs Y, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of TravelApproval (3) V is an instance of ExpenseReport (4) U is an instance of Reimbursement (5) Z is an agent of W (6) Y is an agent of V (7) Z is an agent of U