| King(king)
| | King_of_England, King_of_France, King_of_Great_Britain, King_of_the_Germans, Rex, king, kingship, male_monarch |
| 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 is an instance of position |
| (subAttribute King Male) | Government.kif 1356-1356 | King is a subattribute of male |
| (subAttribute King Monarch) | Government.kif 1355-1355 | King is a subattribute of monarch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage King "王") | domainEnglishFormat.kif 32597-32597 | |
| (termFormat ChineseTraditionalLanguage King "王") | domainEnglishFormat.kif 32596-32596 | |
| (termFormat EnglishLanguage King "king") | domainEnglishFormat.kif 32595-32595 |
| consequent |
|
|
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1377-1382 |
|
|
|
|