| 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 994-997 | |
| (externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ John_Altenburg.jpg") | pictureList.kif 2939-2939 | |
| (externalImage Appointing "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Robertsoath1.jpg") | pictureList.kif 3042-3042 | |
| (subclass Appointing Declaring) | Mid-level-ontology.kif 993-993 |
| appearance as argument number 2 |
|
|
| (subclass Coronation Appointing) | Government.kif 1357-1357 | |
| (termFormat ChineseLanguage Appointing "任命") | domainEnglishFormat.kif 8043-8043 | |
| (termFormat ChineseTraditionalLanguage Appointing "任命") | domainEnglishFormat.kif 8042-8042 | |
| (termFormat EnglishLanguage Appointing "appointing") | domainEnglishFormat.kif 8041-8041 |
| 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 999-1012 | |
| (=> (instance ?A Appointing) (not (exists (?H) (and (agent ?A ?H) (instance ?H Public))))) |
Mid-level-ontology.kif 1014-1020 |
|
|
|