VIP - Sigma Knowledge base Browser

appearance as argument number 1

(instance VIP SubjectiveAssessmentAttribute)	TravelPolicies.kif 931-931	VIP is an instance of subjective assessment attribute
(disjoint VIP NonVIP)	TravelPolicies.kif 933-933	VIP is disjoint from NonVIP

antecedent

(=>
    (attribute ?P VIP)
    (exists (?ORG)
        (and
            (employs ?ORG ?P)
            (instance ?P Human)
            (attribute ?P VIP))))

If VIP is an attribute of X, then there exists Y such that Y employs X, X is an instance of human, and VIP is an attribute of X

consequent

(=>
    (attribute ?P VIP)
    (exists (?ORG)
        (and
            (employs ?ORG ?P)
            (instance ?P Human)
            (attribute ?P VIP))))

If VIP is an attribute of X, then there exists Y such that Y employs X, X is an instance of human, and VIP is an attribute of X