Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - chiefOfStateType
chiefOfStateType

appearance as argument number 1
-------------------------


s__documentation(s__chiefOfStateType__m,s__EnglishLanguage,'"(chiefOfStateType ?NATION ?ROLE) means that the chiefOfState of the GeopoliticalArea ?NATION holds the Position ?ROLE in its government."')

Government.kif 1566-1568
s__domain(s__chiefOfStateType__m,n__1,s__GeopoliticalArea)

Government.kif 1563-1563 The number 1 argument of chief of state type is an instance of geopolitical area
s__domain(s__chiefOfStateType__m,n__2,s__Position)

Government.kif 1564-1564 The number 2 argument of chief of state type is an instance of position
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__chiefOfStateType__m,s__BinaryPredicate)

Government.kif 1562-1562 chief of state type is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__chiefOfStateType__m,'"%2 %1 的州类别的 chief "')

domainEnglishFormat.kif 444-444
s__format(s__ChineseTraditionalLanguage,s__chiefOfStateType__m,'"%2 %1 的州類別的 chief "')

domainEnglishFormat.kif 443-443
s__format(s__EnglishLanguage,s__chiefOfStateType__m,'"%2 is %n a chief of state type of %1"')

domainEnglishFormat.kif 442-442
s__termFormat(s__ChineseLanguage,s__chiefOfStateType__m,'"国家主席"')

domainEnglishFormat.kif 14457-14457
s__termFormat(s__ChineseTraditionalLanguage,s__chiefOfStateType__m,'"國家主席"')

domainEnglishFormat.kif 14456-14456
s__termFormat(s__EnglishLanguage,s__chiefOfStateType__m,'"chief of state type"')

domainEnglishFormat.kif 14455-14455

antecedent
-------------------------


( ! [V__POSITION,V__AREA,V__ELECTION] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__chiefOfStateType(V__AREA,V__POSITION)
           &
           s__agent(V__ELECTION,V__AREA)
         &
         s__instance(V__ELECTION,s__Election) &
         s__electionForPosition(V__ELECTION,V__POSITION)
       &
       s__instance(V__ELECTION,s__PopularElection))
     =>
     (s__governmentType(V__AREA,s__Democracy)))))
)
)

Government.kif 1574-1581

consequent
-------------------------


( ! [V__POSITION,V__AREA,V__PERSON] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__AREA,s__GeopoliticalArea) &
         s__instance(V__PERSON,s__Human))
       =>
       ((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
         =>
         (s__chiefOfStateType(V__AREA,V__POSITION)))))
)
)

Government.kif 1570-1572