TreeView Knowledge Base Browser

appearance as argument number 1

(documentation chiefOfStateType EnglishLanguage "(chiefOfStateType ?NATION ?ROLE) means that the chiefOfState of the GeopoliticalArea ?NATION holds the Position ?ROLE in its government.")	Government.kif 1544-1546
(domain chiefOfStateType 1 GeopoliticalArea)	Government.kif 1541-1541	Le nombre 1 argument de chiefOfStateType est une instance de secteur g�opolitique
(domain chiefOfStateType 2 Position)	Government.kif 1542-1542	Le nombre 2 argument de chiefOfStateType est une instance de position
(instance chiefOfStateType BinaryPredicate)	Government.kif 1540-1540	chiefOfStateType est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage chiefOfStateType "%2 %1 的州类别的 chief ")	domainEnglishFormat.kif 444-444
(format ChineseTraditionalLanguage chiefOfStateType "%2 %1 的州類別的 chief ")	domainEnglishFormat.kif 443-443
(format EnglishLanguage chiefOfStateType "%2 is %n a chief of state type of %1")	domainEnglishFormat.kif 442-442
(termFormat ChineseLanguage chiefOfStateType "国家主席")	domainEnglishFormat.kif 14470-14470
(termFormat ChineseTraditionalLanguage chiefOfStateType "國家主席")	domainEnglishFormat.kif 14469-14469
(termFormat EnglishLanguage chiefOfStateType "chief of state type")	domainEnglishFormat.kif 14468-14468

antecedent

(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))

Government.kif 1552-1559

consequent

(=>
(chiefOfState ?AREA ?POSITION ?PERSON)
(chiefOfStateType ?AREA ?POSITION))

Government.kif 1548-1550

appearance as argument number 0

(chiefOfStateType UnitedStates President)

MilitaryPersons.kif 481-481