Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (instance King Position) | Government.kif 1363-1363 | King is an instance of position |
| (subAttribute King Monarch) | Government.kif 1364-1364 | King is a subattribute of monarch |
| (subAttribute King Male) | Government.kif 1365-1365 | King is a subattribute of male |
| (documentation King EnglishLanguage "An Attribute indicating that a person is Male and the chiefOfState of a Monarchy.") | Government.kif 1366-1366 | King is a subattribute of male |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/a/af/ Elizabeth_I_of_England_-_coronation_portrait.jpg") | pictureList.kif 6650-6650 | King is a subattribute of male |
| (externalImage King "http://upload.wikimedia.org/wikipedia/commons/c/c2/ TigranStatue.jpg") | pictureList.kif 7147-7147 | King is a subattribute of male |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q)))) |
Government.kif 1386-1391 | If Queen consort is an attribute of X, then there exist Y, Z such that Z chief of state king for Y, and Y is the spouse of X |
|