Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   IslandChain
|
|
|
| appearance as argument number 1 |
|
|
| (subclass IslandChain CollectionOfObjects) | WorldAirports.kif 24402-24402 | Island chain is a subclass of collection |
| (documentation IslandChain EnglishLanguage "A CollectionOfObjects of Islands that are part of the same Nation and are grouped either or both by their nationality and their relative proximity.") | WorldAirports.kif 24403-24405 | Island chain is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?IC IslandChain) (memberType ?IC Island)) |
WorldAirports.kif 24408-24410 | If X is an instance of island chain, then island is a member type of X |
|