| Monarch(monarch) | | Shah, Shah_of_Iran, crowned_head, czar, emperor, monarch, sovereign, sower, tsar, tzar |
| appearance as argument number 1 |
|
|
| s__documentation(s__Monarch,s__EnglishLanguage,'"The Position of the chiefOfState in a Monarchy."')
|
Government.kif 1347-1347 | |
| s__instance(s__Position,s__SetOrClass) s__instance(s__Monarch,s__Position)
|
Government.kif 1346-1346 | Monarch is an instance of position |
| appearance as argument number 2 |
|
|
| s__subAttribute(s__King,s__Monarch)
|
Government.kif 1379-1379 | King is a subattribute of monarch |
| s__subAttribute(s__QueenRegnant,s__Monarch)
|
Government.kif 1393-1393 | QueenRegnant is a subattribute of monarch |
| s__termFormat(s__ChineseLanguage,s__Monarch,'"君主"')
|
domainEnglishFormat.kif 38298-38298 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Monarch,'"君主"')
|
domainEnglishFormat.kif 38297-38297 | |
| s__termFormat(s__EnglishLanguage,s__Monarch,'"monarch"')
|
domainEnglishFormat.kif 38296-38296 |
| antecedent |
|
|
| ( ! [V__PERSON] : ((s__instance(V__PERSON,s__Human) => ((s__attribute(V__PERSON,s__Monarch) => (( ? [V__PLACE] : ((s__instance(V__PLACE,s__GeopoliticalArea) & s__governmentType(V__PLACE,s__Monarchy) & s__chiefOfState(V__PLACE,s__Monarch,V__PERSON)))))))) ) )
|
Government.kif 1349-1355 |
|
| consequent |
|
|
|
|
|