| 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 1564-1569 | |
| (domain headOfGovernment 1 GeopoliticalArea) | Government.kif 1560-1560 | The number 1 argument of head of government is an instance of geopolitical area |
| (domain headOfGovernment 2 Position) | Government.kif 1561-1561 | The number 2 argument of head of government is an instance of position |
| (domain headOfGovernment 3 Human) | Government.kif 1562-1562 | The number 3 argument of head of government is an instance of human |
| (instance headOfGovernment TernaryPredicate) | Government.kif 1559-1559 | 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 27754-27754 | |
| (termFormat ChineseTraditionalLanguage headOfGovernment "政府首腦") | domainEnglishFormat.kif 27753-27753 | |
| (termFormat EnglishLanguage headOfGovernment "head of government") | domainEnglishFormat.kif 27752-27752 |
| antecedent |
|
|
| (=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1571-1575 |
|
| (=> (headOfGovernment ?A Mayor ?H) (instance ?A City)) |
Government.kif 1602-1604 |
|
| (=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA))) |
Government.kif 1577-1579 |
|
| (=> (headOfGovernment ?S Governor ?H) (instance ?S StateOrProvince)) |
Government.kif 1584-1586 |
|
|
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 is open source software produced by Articulate Software and its partners