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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - headOfGovernment
headOfGovernment

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


(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 1562-1567
(domain headOfGovernment 1 GeopoliticalArea) Government.kif 1558-1558
(domain headOfGovernment 2 Position) Government.kif 1559-1559
(domain headOfGovernment 3 Human) Government.kif 1560-1560
(instance headOfGovernment TernaryPredicate) Government.kif 1557-1557

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


(format EnglishLanguage headOfGovernment "%1 %n{doesn't} head of government %2 for %3") domainEnglishFormat.kif 299-299
(termFormat EnglishLanguage headOfGovernment "head of government") domainEnglishFormat.kif 5042-5042

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


(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))
Government.kif 1569-1573
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1600-1602
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1575-1577
(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))
Government.kif 1582-1584


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners