| King
| |
| appearance as argument number 1 |
|
|
| (documentation King EnglishLanguage "An Attribute indicating that a person is Male and the chiefOfState of a Monarchy.") | Government.kif 1357-1357 | |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/a/af/ Elizabeth_I_of_England_-_coronation_portrait.jpg") | pictureList.kif 6650-6650 | |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/c/c2/ TigranStatue.jpg") | pictureList.kif 7147-7147 | |
| (instance King Position) | Government.kif 1354-1354 | King est une instance de position |
| (subAttribute King Male) | Government.kif 1356-1356 | King est un sous-attribut de Male |
| (subAttribute King Monarch) | Government.kif 1355-1355 | King est un sous-attribut de Monarch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage King "王") | domainEnglishFormat.kif 32580-32580 | |
| (termFormat ChineseTraditionalLanguage King "王") | domainEnglishFormat.kif 32579-32579 | |
| (termFormat EnglishLanguage King "king") | domainEnglishFormat.kif 32578-32578 |
| consequent |
|
|
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1377-1382 |
|
|
|
|