Coronation - Sigma Knowledge base Browser

appearance as argument number 1

(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 1337-1337
(subclass Coronation Appointing)	Government.kif 1336-1336	Coronation is a subclass of appointing
(subclass Coronation Ceremony)	Government.kif 1335-1335	Coronation is a subclass of ceremony

appearance as argument number 2

(termFormat EnglishLanguage Coronation "coronation")

domainEnglishFormat.kif 64704-64704

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 1339-1354

If a process is an instance of coronation,
then there exist an entity and another entity such that the entity is an instance of human and the entity is a patient of the process and the other entity is an instance of geopolitical area and the other entity doesn't chief of state monarch for the entity holds during the beginning of the time of existence of the process and the other entity chief of state monarch for the entity holds during immediately after the time of existence of the process

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: