Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Appointing

Sigma KEE - Appointing
Appointing

appearance as argument number 1
-------------------------


(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 1422-1425
(externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ John_Altenburg.jpg") pictureList.kif 2939-2939 externalImage Appointing and "http://upload.wikimedia.org/wikipedia/commons/6/6a/ John_Altenburg.jpg"
(externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Robertsoath1.jpg") pictureList.kif 3042-3042 externalImage Appointing and "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Robertsoath1.jpg"
(subclass Appointing Declaring) Mid-level-ontology.kif 1421-1421 Appointing声明subclass

appearance as argument number 2
-------------------------


(subclass Coronation Appointing) Government.kif 1332-1332 CoronationAppointingsubclass
(termFormat EnglishLanguage Appointing "appointing") domainEnglishFormat.kif 1773-1773 termFormat EnglishLanguage, Appointing and "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 1426-1439
(=>
    (instance ?A Appointing)
    (not
        (exists (?H)
            (and
                (agent ?A ?H)
                (instance ?H Public)))))
Mid-level-ontology.kif 1441-1447


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners