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