| 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 1359-1359 | |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/a/af/ Elizabeth_I_of_England_-_coronation_portrait.jpg") | pictureList.kif 6651-6651 | |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/c/c2/ TigranStatue.jpg") | pictureList.kif 7148-7148 | |
| (instance King Position) | Government.kif 1356-1356 | King is an instance of position |
| (subAttribute King Male) | Government.kif 1358-1358 | King is a subattribute of male |
| (subAttribute King Monarch) | Government.kif 1357-1357 | King is a subattribute of monarch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage King "王") | domainEnglishFormat.kif 32603-32603 | |
| (termFormat ChineseTraditionalLanguage King "王") | domainEnglishFormat.kif 32602-32602 | |
| (termFormat EnglishLanguage King "king") | domainEnglishFormat.kif 32601-32601 |
| consequent |
|
|
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1379-1384 |
|
|
|
|