| Mayor(mayor)
| | alcalde, city_manager, mayor |
| appearance as argument number 1 |
|
|
| (documentation Mayor EnglishLanguage "The head of the Government of a City.") | Government.kif 1602-1602 | |
| (externalImage Mayor "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Lord_Mayor_of_London%27s_coronation_robes.JPG") | pictureList.kif 6693-6693 | |
| (externalImage Mayor "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Rumsfeld_and_Giuliani_at_Ground_Zero.jpg") | pictureList.kif 7300-7300 | |
| (instance Mayor Position) | Government.kif 1601-1601 | Mayor is an instance of position |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mayor "市长") | domainEnglishFormat.kif 36663-36663 | |
| (termFormat ChineseTraditionalLanguage Mayor "市長") | domainEnglishFormat.kif 36662-36662 | |
| (termFormat EnglishLanguage Mayor "mayor") | domainEnglishFormat.kif 36661-36661 |
| antecedent |
|
|
| (=> (headOfGovernment ?A Mayor ?H) (instance ?A City)) |
Government.kif 1604-1606 |
|
|
|
|