Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Coronation(coronation) |  | coronate, coronation, crown, enthrone, enthronement, enthronisation, enthronization, investiture, throne |
| appearance as argument number 1 |
|
|
| (subclass Coronation Ceremony) | Government.kif 1342-1342 | Coronation is a subclass of ceremony |
| (subclass Coronation Appointing) | Government.kif 1343-1343 | Coronation is a subclass of appointing |
| (documentation Coronation EnglishLanguage "A Ceremony marking the formal investiture of a Monarch and/ or their consort with regal power, usually involving the placement of a Crown upon their Head.") | Government.kif 1344-1344 | Coronation is a subclass of appointing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Coronation "coronation") | domainEnglishFormat.kif 64705-64705 |
| antecedent |
|
|
| (=> (instance ?C Coronation) (exists (?PERSON ?PLACE) (and (instance ?PERSON Human) (patient ?C ?PERSON) (instance ?PLACE GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?C)) (not (chiefOfState ?PLACE Monarch ?PERSON))) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (chiefOfState ?PLACE Monarch ?PERSON))))) |
Government.kif 1346-1361 | If X is an instance of coronation, then there exist Y, Z such that Y is an instance of human, Y is a patient of X, Z is an instance of geopolitical area, Z doesn't chief of state monarch for Y holds during the beginning of the time of existence of X, and Z chief of state monarch for Y holds during immediately after the time of existence of X |
|