Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnionStatesOfAmerica(union states of america) |
| appearance as argument number 1 |
|
| (instance UnionStatesOfAmerica GeopoliticalArea) | Government.kif 4837-4837 | Union states of america is an instance of geopolitical area |
| (documentation UnionStatesOfAmerica EnglishLanguage "The states of the UnitedStates that the ConfederateStatesOfAmerica seceded from.") | Government.kif 4838-4839 | Union states of america is an instance of geopolitical area |
| appearance as argument number 2 |
|
|
|