| 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 | Il numero 1 argomenti di headOfGovernment è un istanza di AreaGeopolitica |
| (domain headOfGovernment 2 Position) | Government.kif 1563-1563 | Il numero 2 argomenti di headOfGovernment è un istanza di Posizione |
| (domain headOfGovernment 3 Human) | Government.kif 1564-1564 | Il numero 3 argomenti di headOfGovernment è un istanza di Umano |
| (instance headOfGovernment TernaryPredicate) | Government.kif 1561-1561 | headOfGovernment è un' istanza di PredicatoTernario |
| 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 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