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 1556-1561
(domain headOfGovernment 1 GeopoliticalArea) Government.kif 1552-1552 The number 1 argument of head of government is an instance of geopolitical area
(domain headOfGovernment 2 Position) Government.kif 1553-1553 The number 2 argument of head of government is an instance of position
(domain headOfGovernment 3 Human) Government.kif 1554-1554 The number 3 argument of head of government is an instance of human
(instance headOfGovernment TernaryPredicate) Government.kif 1551-1551 head of government is an instance of ternary predicate

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


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

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


(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))
Government.kif 1563-1567
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))
Government.kif 1594-1596
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1569-1571
(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))
Government.kif 1576-1578


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