Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   InlandWaterSystem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass InlandWaterSystem WaterArea) | Geography.kif 6946-6946 | Inland water system is a subclass of water area |
| (subclass InlandWaterSystem CollectionOfObjects) | Geography.kif 6947-6947 | Inland water system is a subclass of collection |
| (documentation InlandWaterSystem EnglishLanguage "An instance of InlandWaterSystem comprises two or more lakes or rivers, canals, or other waterways that are interconnected.") | Geography.kif 6949-6951 | Inland water system is a subclass of collection |
| (externalImage InlandWaterSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8e/ Great_Lakes_1.PNG") | pictureList.kif 1485-1485 | Inland water system is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SYSTEM InlandWaterSystem) (exists (?BODY1 ?BODY2) (and (instance ?BODY1 BodyOfWater) (instance ?BODY2 BodyOfWater) (not (equal ?BODY1 ?BODY2)) (geographicSubregion ?BODY1 ?SYSTEM) (geographicSubregion ?BODY2 ?SYSTEM)))) |
Geography.kif 6953-6961 | If X is an instance of inland water system, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of body of water (3) Z is an instance of body of water (4) equal Y (5) Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X |
| (=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2)))) |
Geography.kif 6985-7000 | If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z |
|
