Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crisaborole
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Shoreline LandArea) | Geography.kif 7733-7733 | Shoreline is a subclass of land area |
| (documentation Shoreline EnglishLanguage "Shoreline is the class of LandAreas that are the edge of a larger land mass abutting a bordering WaterArea.") | Geography.kif 7735-7736 | Shoreline is a subclass of land area |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg") | pictureList.kif 6855-6855 | Shoreline is a subclass of land area |
| (externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG") | pictureList.kif 7847-7847 | Shoreline is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 7738-7743 | If X is an instance of shoreline, then there exists Y such that Y is an instance of water area and Y meets X |
| consequent |
|
|
| (=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE)))) |
Geography.kif 7745-7750 | If X is an instance of shore area, then there exists Y such that Y is an instance of shoreline and Y is a part of X |
| (=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER)))) |
Geography.kif 7752-7761 | If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y |
| (=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 1118-1131 | If X is an instance of tropical cyclone, X ends up at Y, and Y is an instance of geographic area, then there don't exist Z, W and V such that Z is an instance of land area and W is an instance of shoreline and Y is located at Z and the distance between Z and W is V mile(s) and V is greater than 200.0 |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 2690-2695 | If X is an instance of surf zone, then there exists Y such that Y is an instance of shoreline and X is adjacent to Y |
|
