Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Racing

 Sigma KEE - Monarch
Monarch(monarch)Shah, Shah_of_Iran, crowned_head, czar, emperor, monarch, sovereign, sower, tsar, tzar

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


(instance Monarch Position) Government.kif 1331-1331 Monarch is an instance of position
(documentation Monarch EnglishLanguage "The Position of the chiefOfState in a Monarchy.") Government.kif 1332-1332 Monarch is an instance of position

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


(subAttribute King Monarch) Government.kif 1364-1364 King is a subattribute of monarch
(subAttribute QueenRegnant Monarch) Government.kif 1378-1378 Queen regnant is a subattribute of monarch
(termFormat EnglishLanguage Monarch "monarch") domainEnglishFormat.kif 38315-38315 Queen regnant is a subattribute of monarch
(termFormat ChineseTraditionalLanguage Monarch "君主") domainEnglishFormat.kif 38316-38316 Queen regnant is a subattribute of monarch
(termFormat ChineseLanguage Monarch "君主") domainEnglishFormat.kif 38317-38317 Queen regnant is a subattribute of monarch

antecedent
-------------------------


(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))		 Government.kif 1334-1340 If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X

consequent
-------------------------


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))		 Government.kif 242-246 If absolute monarchy is a government type of X and X is an instance of geopolitical area, then monarch is a leader position of X
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))		 Government.kif 1334-1340 If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X
(=>
    (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


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners