Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - headOfGovernment
headOfGovernment

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


(instance headOfGovernment TernaryPredicate) Government.kif 1568-1568 head of government is an instance of ternary predicate
(domain headOfGovernment 1 GeopoliticalArea) Government.kif 1569-1569 The number 1 argument of head of government is an instance of geopolitical area
(domain headOfGovernment 2 Position) Government.kif 1570-1570 The number 2 argument of head of government is an instance of position
(domain headOfGovernment 3 Human) Government.kif 1571-1571 The number 3 argument of head of government is an instance of human
(documentation headOfGovernment EnglishLanguage "(headOfGovernment ?POLITY ?ROLE ?PERSON) means that ?PERSON is the top administrative leader of the Government of the GeopoliticalArea ?POLITY, with authority for managing its day_to_day functions. The office held by this person is the Position ?ROLE (e.g., President, Prime Minister, Governor). Note: this term is defined as in the CIA World Fact Book.") Government.kif 1573-1578 The number 3 argument of head of government is an instance of human

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


(format EnglishLanguage headOfGovernment "%1 %p{is} %n{isn't} the head of government %2 for %3") domainEnglishFormat.kif 1163-1163
(format ChineseTraditionalLanguage headOfGovernment "%1 %p{是} %n{不是} 對於 %3 的政府領導") domainEnglishFormat.kif 1164-1164
(format ChineseLanguage headOfGovernment "%1 %p{是} %n{不是} 对于 %3 的政府领导") domainEnglishFormat.kif 1165-1165
(termFormat EnglishLanguage headOfGovernment "head of government") domainEnglishFormat.kif 27728-27728
(termFormat ChineseTraditionalLanguage headOfGovernment "政府首腦") domainEnglishFormat.kif 27729-27729
(termFormat ChineseLanguage headOfGovernment "政府首脑") domainEnglishFormat.kif 27730-27730

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


(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1580-1584 If X is the head of government Y for Z and X is an instance of nation, then Z is a citizen of X
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1586-1588 If X is the head of government Y for Z, then Z holds the position of Y in the government of X
(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1593-1595 If X is the head of government governor for Y, then X is an instance of state or province
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))		 Government.kif 1611-1613 If X is the head of government mayor for Y, then X is an instance of city


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners