appointedPosition - Sigma Knowledge base Browser

appearance as argument number 2

consequent

(=>
    (and
        (instance ?ORD Ordaining)
        (patient ?ORD ?X)
        (instance ?X Human)
        (member ?X Christianity))
    (hasPurpose ?ORD
        (exists (?CER ?A)
            (and
                (instance ?CER Ceremony)
                (instance ?A Appointing)
                (subProcess ?A ?CER)
                (patient ?A ?X)
                (appointedPosition ?A ?X Cleric)))))

If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric

(instance appointedPosition TernaryPredicate)	Biography.kif 152-152	appointed position is an instance of ternary predicate
(domain appointedPosition 1 Appointing)	Biography.kif 154-154	The number 1 argument of appointed position is an instance of appointing
(domain appointedPosition 2 AutonomousAgent)	Biography.kif 155-155	The number 2 argument of appointed position is an instance of agent
(domain appointedPosition 3 Position)	Biography.kif 156-156	The number 3 argument of appointed position is an instance of position
(documentation appointedPosition EnglishLanguage "(appointedPosition ?PROC ?AGENT ?POS) means that an ?AGENT (can be a Human or an Organization) is appointed, through the Process of Appointing to the Position of ?POS. For example, a person is appointed to a Cleric position in Christianity.")	Biography.kif 157-159	The number 3 argument of appointed position is an instance of position