  chiefOfState
|
|
Sigma KEE - chiefOfState
|
appearance as argument number 1
|
|
|
| s__documentation(s__chiefOfState__m,s__EnglishLanguage,'"(chiefOfState ?POLITY ?ROLE ?PERSON) means that ?PERSON is the titular leader of the government of the GeopoliticalArea ?POLITY and represents it at official functions. The office held by this chief of state is ?ROLE (e.g., President, Queen, Chairman). Note: this term is defined as in the CIA World Fact Book."')
|
Government.kif 1542-1546 |
|
| s__domain(s__chiefOfState__m,n__1,s__GeopoliticalArea)
|
Government.kif 1538-1538 |
The number 1 argument of chief of state is an instance of geopolitical area |
| s__domain(s__chiefOfState__m,n__2,s__Position)
|
Government.kif 1539-1539 |
The number 2 argument of chief of state is an instance of position |
| s__domain(s__chiefOfState__m,n__3,s__Human)
|
Government.kif 1540-1540 |
The number 3 argument of chief of state is an instance of human |
| s__instance(s__TernaryPredicate,s__SetOrClass)
s__instance(s__chiefOfState__m,s__TernaryPredicate)
|
Government.kif 1537-1537 |
chief of state is an instance of ternary predicate |
|
appearance as argument number 2
|
|
|
| s__format(s__ChineseLanguage,s__chiefOfState__m,'"%1 %n{不是} 州 %2 的 chief 对于 %3"')
|
domainEnglishFormat.kif 440-440 |
|
| s__format(s__ChineseTraditionalLanguage,s__chiefOfState__m,'"%1 %n{不是} 州 %2 的 chief 對於 %3 "')
|
domainEnglishFormat.kif 439-439 |
|
| s__format(s__EnglishLanguage,s__chiefOfState__m,'"%1 %n{doesnt} chief of state %2 for %3"')
|
domainEnglishFormat.kif 438-438 |
|
| s__termFormat(s__ChineseLanguage,s__chiefOfState__m,'"国家元首"')
|
domainEnglishFormat.kif 14451-14451 |
|
| s__termFormat(s__ChineseTraditionalLanguage,s__chiefOfState__m,'"國家元首"')
|
domainEnglishFormat.kif 14450-14450 |
|
| s__termFormat(s__EnglishLanguage,s__chiefOfState__m,'"chief of state"')
|
domainEnglishFormat.kif 14449-14449 |
|
|
antecedent
|
|
|
( ! [V__POSITION,V__AREA,V__PERSON] :
(((s__instance(V__POSITION,s__Position) &
s__instance(V__PERSON,s__Human))
=>
(((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
&
s__instance(V__AREA,s__Nation))
=>
(s__citizen(V__PERSON,V__AREA)))))
)
)
|
Government.kif 1556-1560 |
|
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 209-221 |
|
( ! [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 |
|
( ! [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__occupiesPosition(V__PERSON,V__POSITION,s__GovernmentFn(V__AREA))))))
)
)
|
Government.kif 1548-1550 |
|
( ! [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__occupiesPosition(V__PERSON,s__Leader,s__GovernmentFn(V__AREA))))))
)
)
|
Government.kif 1552-1554 |
|
|
consequent
|
|
|
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 209-221 |
|
( ! [V__P] :
((s__instance(V__P,s__Human) =>
((s__attribute(V__P,s__PrinceConsort) =>
(( ? [V__QUEEN, V__PLACE] :
((s__instance(V__QUEEN,s__Human) &
s__instance(V__PLACE,s__GeopoliticalArea) &
(s__chiefOfState(V__PLACE,s__QueenRegnant,V__QUEEN)
&
s__spouse(V__QUEEN,V__P)))))))))
)
)
|
Government.kif 1412-1417 |
|
( ! [V__PERSON] :
((s__instance(V__PERSON,s__Human) =>
((s__attribute(V__PERSON,s__Monarch) =>
(( ? [V__PLACE] :
((s__instance(V__PLACE,s__GeopoliticalArea) &
s__governmentType(V__PLACE,s__Monarchy) &
s__chiefOfState(V__PLACE,s__Monarch,V__PERSON))))))))
)
)
|
Government.kif 1349-1355 |
|
( ! [V__Q] :
((s__instance(V__Q,s__Human) =>
((s__attribute(V__Q,s__QueenConsort) =>
(( ? [V__KING, V__PLACE] :
((s__instance(V__KING,s__Human) &
s__instance(V__PLACE,s__GeopoliticalArea) &
(s__chiefOfState(V__PLACE,s__King,V__KING)
&
s__spouse(V__KING,V__Q)))))))))
)
)
|
Government.kif 1401-1406 |
|
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1361-1376 |
|
( ! [V__RESIDENCE] :
((s__instance(V__RESIDENCE,s__ExecutiveResidence) =>
(( ? [V__AREA, V__POSITION, V__PERSON] :
((s__instance(V__AREA,s__GeopoliticalArea) &
s__instance(V__POSITION,s__Position) &
s__instance(V__PERSON,s__Human) &
(s__located(V__RESIDENCE,V__AREA)
&
s__home(V__PERSON,V__RESIDENCE)
&
s__chiefOfState(V__AREA,V__POSITION,V__PERSON)))))))
)
)
|
Government.kif 1528-1534 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|