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

Formal Language: 



KB Term:  Term intersection
English Word: 

  headOfGovernment

 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 1566-1571
(domain headOfGovernment 1 GeopoliticalArea) Government.kif 1562-1562 政府首脑 的 1 数量 是 地缘政治区域 的 instance
(domain headOfGovernment 2 Position) Government.kif 1563-1563 政府首脑 的 2 数量 是 地位 的 instance
(domain headOfGovernment 3 Human) Government.kif 1564-1564 政府首脑 的 3 数量 是 人类 的 instance
(instance headOfGovernment TernaryPredicate) Government.kif 1561-1561 政府首脑 是 三元谓语 的 instance

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 27726-27726
(termFormat ChineseTraditionalLanguage headOfGovernment "政府首腦") domainEnglishFormat.kif 27725-27725
(termFormat EnglishLanguage headOfGovernment "head of government") domainEnglishFormat.kif 27724-27724

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


(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1573-1577
(=>
    (headOfGovernment ?A Mayor ?H)
    (instance ?A City))		 Government.kif 1604-1606
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1579-1581
(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1586-1588


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners