| Monarch | |
| appearance as argument number 1 |
|
|
| (documentation Monarch EnglishLanguage "The Position of the chiefOfState in a Monarchy.") | Government.kif 1323-1323 | |
| (instance Monarch Position) | Government.kif 1322-1322 | Monarch est une instance de position |
| appearance as argument number 2 |
|
|
| (subAttribute King Monarch) | Government.kif 1355-1355 | King est un sous-attribut de Monarch |
| (subAttribute QueenRegnant Monarch) | Government.kif 1369-1369 | QueenRegnant est un sous-attribut de Monarch |
| (termFormat ChineseLanguage Monarch "君主") | domainEnglishFormat.kif 38324-38324 | QueenRegnant est un sous-attribut de Monarch |
| (termFormat ChineseTraditionalLanguage Monarch "君主") | domainEnglishFormat.kif 38323-38323 | QueenRegnant est un sous-attribut de Monarch |
| (termFormat EnglishLanguage Monarch "monarch") | domainEnglishFormat.kif 38322-38322 | QueenRegnant est un sous-attribut de Monarch |
| antecedent |
|
|
| (=> (attribute ?PERSON Monarch) (exists (?PLACE) (and (instance ?PLACE GeopoliticalArea) (governmentType ?PLACE Monarchy) (chiefOfState ?PLACE Monarch ?PERSON)))) |
Government.kif 1325-1331 |
| consequent |
|
|
|
|
|