chiefOfStateType - Sigma Knowledge base Browser

appearance as argument number 1

(instance chiefOfStateType BinaryPredicate)	Government.kif 1547-1547	chief of state type is an instance of binary predicate
(domain chiefOfStateType 1 GeopoliticalArea)	Government.kif 1548-1548	The number 1 argument of chief of state type is an instance of geopolitical area
(domain chiefOfStateType 2 Position)	Government.kif 1549-1549	The number 2 argument of chief of state type is an instance of position
(documentation chiefOfStateType EnglishLanguage "(chiefOfStateType ?NATION ?ROLE) means that the chiefOfState of the GeopoliticalArea ?NATION holds the Position ?ROLE in its government.")	Government.kif 1551-1553	The number 2 argument of chief of state type is an instance of position

appearance as argument number 2

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

antecedent

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

If X is a chief of state type of Y, Y is an agent of Z, Z is an instance of election, X is an election for position of Z, and Z is an instance of popular election, then democracy is a government type of Y

consequent

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

If X chief of state Y for Z, then Y is a chief of state type of X

appearance as argument number 0

(chiefOfStateType UnitedStates President)