appointedPosition - Sigma Knowledge base Browser

appearance as argument number 1

(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
(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
(instance appointedPosition TernaryPredicate)	Biography.kif 152-152	appointed position is an instance of ternary predicate

appearance as argument number 2

Biography.kif 153-153

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)))))

Biography.kif 161-174