| 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 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 e' uma instancia de Posicao |
| (subAttribute King Male) | Government.kif 1358-1358 | King e' um sub-atributo de Male |
| (subAttribute King Monarch) | Government.kif 1357-1357 | King e' um sub-atributo de Monarch |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage King "王") | domainEnglishFormat.kif 32569-32569 | |
| (termFormat ChineseTraditionalLanguage King "王") | domainEnglishFormat.kif 32568-32568 | |
| (termFormat EnglishLanguage King "king") | domainEnglishFormat.kif 32567-32567 |
| consequent |
|
|
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1379-1384 |
|
|
|
|