Appointing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Appointing Declaring)	Mid-level-ontology.kif 1032-1032	Appointing is a subclass of declaring
(documentation Appointing EnglishLanguage "Any instance of Declaring by which the patient is assigned to a Position within an Organization where the patient previously had no position. For example, the appointments of people to non-elective offices in a government.")	Mid-level-ontology.kif 1033-1036	Appointing is a subclass of declaring
(externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ John_Altenburg.jpg")	pictureList.kif 2937-2937	Appointing is a subclass of declaring
(externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Robertsoath1.jpg")	pictureList.kif 3040-3040	Appointing is a subclass of declaring

appearance as argument number 2

(subclass Coronation Appointing)	Government.kif 1334-1334	Coronation is a subclass of appointing
(termFormat EnglishLanguage Appointing "appointing")	domainEnglishFormat.kif 8032-8032	Coronation is a subclass of appointing
(termFormat ChineseTraditionalLanguage Appointing "任命")	domainEnglishFormat.kif 8033-8033	Coronation is a subclass of appointing
(termFormat ChineseLanguage Appointing "任命")	domainEnglishFormat.kif 8034-8034	Coronation is a subclass of appointing

appearance as argument number 3

(domain appointedPosition 1 Appointing)

antecedent

(=> (and (instance ?A Appointing) (patient ?A ?H)) (exists (?P ?ORG) (and (holdsDuring (BeginFn (WhenFn ?A)) (not (occupiesPosition ?H ?P ?ORG))) (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (occupiesPosition ?H ?P ?ORG)))))	Mid-level-ontology.kif 1038-1051	If X is an instance of appointing and Y is a patient of X, then there exist Z, W such that Y doesn't hold the position of Z in W holds during the beginning of the time of existence of X, and Y holds the position of Z in W holds during immediately after the time of existence of X
(=> (instance ?A Appointing) (not (exists (?H) (and (agent ?A ?H) (instance ?H Public)))))	Mid-level-ontology.kif 1053-1059	If X is an instance of appointing, then there doesn't exist Y such that Y is an agent of X and Y is an instance of public

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