Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  UnitedStatesMinorOutlyingIslands
|
|
|
| appearance as argument number 1 |
|
|
| (instance UnitedStatesMinorOutlyingIslands CollectionOfObjects) | Media.kif 2554-2554 | United states minor outlying islands is an instance of collection |
| (instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) | Media.kif 2555-2555 | United states minor outlying islands is an instance of geopolitical area |
| (documentation UnitedStatesMinorOutlyingIslands EnglishLanguage "This CollectionOfObjects is a statistical convenience introduced in 1986, and designated by ISO_3166_1_alpha_2 code UM.") | Media.kif 2556-2559 | United states minor outlying islands is an instance of geopolitical area |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "UM" UnitedStatesMinorOutlyingIslands) | Media.kif 2830-2830 | "UM" in ISO_3166_1_alpha_2 denotes United states minor outlying islands |
| antecedent |
|
|
| (=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2561-2563 | If X is a member of United states minor outlying islands, then X is a dependent of united states |
|