chiefOfStateType - Sigma 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 1542-1544
(domain chiefOfStateType 1 GeopoliticalArea)	Government.kif 1539-1539	The number 1 argument of chief of state type is an instance of geopolitical area
(domain chiefOfStateType 2 Position)	Government.kif 1540-1540	The number 2 argument of chief of state type is an instance of position
(instance chiefOfStateType BinaryPredicate)	Government.kif 1538-1538	chief of state type is an instance of binary predicate

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 14469-14469
(termFormat ChineseTraditionalLanguage chiefOfStateType "國家主席")	domainEnglishFormat.kif 14468-14468
(termFormat EnglishLanguage chiefOfStateType "chief of state type")	domainEnglishFormat.kif 14467-14467

antecedent

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

Government.kif 1550-1557

consequent

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

Government.kif 1546-1548

appearance as argument number 0

(chiefOfStateType UnitedStates President)

MilitaryPersons.kif 492-492