Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Monarch

Sigma KEE - Monarch
Monarch

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


(documentation Monarch EnglishLanguage "The Position of the chiefOfState in a Monarchy.") Government.kif 1325-1325
(instance Monarch Position) Government.kif 1324-1324 Monarchポジションinstance では %n

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


(subAttribute King Monarch) Government.kif 1357-1357 KingMonarchsubattribute では %n
(subAttribute QueenRegnant Monarch) Government.kif 1371-1371 QueenRegnantMonarchsubattribute では %n
(termFormat ChineseLanguage Monarch "君主") domainEnglishFormat.kif 38315-38315
(termFormat ChineseTraditionalLanguage Monarch "君主") domainEnglishFormat.kif 38314-38314
(termFormat EnglishLanguage Monarch "monarch") domainEnglishFormat.kif 38313-38313

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


(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1327-1333

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


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))
Government.kif 242-246
(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))
Government.kif 1327-1333
(=>
    (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


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 is open source software produced by Articulate Software and its partners