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

appearance as argument number 2

(termFormat EnglishLanguage Coronation "coronation")

domainEnglishFormat.kif 64725-64725

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 1337-1352

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: