TreeView Knowledge Base Browser

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

(termFormat EnglishLanguage King "king")	domainEnglishFormat.kif 32571-32571
(termFormat ChineseTraditionalLanguage King "王")	domainEnglishFormat.kif 32572-32572
(termFormat ChineseLanguage King "王")	domainEnglishFormat.kif 32573-32573

consequent

(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))

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