Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Federation(federation)
|
| appearance as argument number 1 |
|
| (instance Federation FormOfGovernment) | Government.kif 173-173 | Federation is an instance of form of government |
| (subAttribute Federation FederalGovernment) | Government.kif 282-282 | Federation is a subattribute of federal government |
| (externalImage Federation "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Carte_suisse2.png") | pictureList.kif 6503-6503 | Federation is a subattribute of federal government |
| (externalImage Federation "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Mexico_states_map_w_names.png") | pictureList.kif 6504-6504 | Federation is a subattribute of federal government |
| appearance as argument number 2 |
|
|
| (contraryAttribute Monarchy Federation) | Government.kif 249-249 | Monarchy is the opposite of federation |
| (termFormat EnglishLanguage Federation "federation") | domainEnglishFormat.kif 23464-23464 | Monarchy is the opposite of federation |
| (termFormat ChineseTraditionalLanguage Federation "聯邦") | domainEnglishFormat.kif 23465-23465 | Monarchy is the opposite of federation |
| (termFormat ChineseLanguage Federation "联邦") | domainEnglishFormat.kif 23466-23466 | Monarchy is the opposite of federation |
|