Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Mayor(mayor)
|  | alcalde, city_manager, mayor |
| appearance as argument number 1 |
|
|
| (instance Mayor Position) | Government.kif 1608-1608 | Mayor is an instance of position |
| (documentation Mayor EnglishLanguage "The head of the Government of a City.") | Government.kif 1609-1609 | Mayor is an instance of position |
| (externalImage Mayor "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Lord_Mayor_of_London%27s_coronation_robes.JPG") | pictureList.kif 6692-6692 | Mayor is an instance of position |
| (externalImage Mayor "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Rumsfeld_and_Giuliani_at_Ground_Zero.jpg") | pictureList.kif 7299-7299 | Mayor is an instance of position |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (headOfGovernment ?A Mayor ?H) (instance ?A City)) |
Government.kif 1611-1613 | If X is the head of government mayor for Y, then X is an instance of city |
|