Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Seacoast
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Seacoast ShoreArea) | Geography.kif 7719-7719 | Seacoast is a subclass of shore area |
| (subclass Seacoast LandForm) | Geography.kif 7720-7720 | Seacoast is a subclass of land form |
| (documentation Seacoast EnglishLanguage "A Seacoast is the ShoreArea along the margin of an ocean, extending inland approximately 1-3 km from the low water mark.") | Geography.kif 7722-7724 | Seacoast is a subclass of land form |
| (externalImage Seacoast "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c0/ A44.jpg/ 300px_A44.jpg") | pictureList.kif 1245-1245 | Seacoast is a subclass of land form |
| appearance as argument number 2 |
|
|
| (range SeacoastFn Seacoast) | Geography.kif 7713-7713 | The range of seacoast is an instance of seacoast |
| (termFormat EnglishLanguage Seacoast "seacoast") | domainEnglishFormat.kif 51646-51646 | The range of seacoast is an instance of seacoast |
| (termFormat ChineseTraditionalLanguage Seacoast "海岸") | domainEnglishFormat.kif 51647-51647 | The range of seacoast is an instance of seacoast |
| (termFormat ChineseLanguage Seacoast "海岸") | domainEnglishFormat.kif 51648-51648 | The range of seacoast is an instance of seacoast |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 7726-7731 | If X is an instance of seacoast, Y is an instance of water area, and Y is adjacent to X, then Y is an instance of salt water area |
| consequent |
|
|
| (=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 2362-2368 | If X is an instance of landlocked area, then there doesn't exist Y such that Y is an instance of seacoast and Y is a part of X |
| (=> (instance ?CF CoastalFlooding) (exists (?AREA) (and (instance ?AREA Seacoast) (eventLocated ?CF ?AREA)))) |
Weather.kif 2925-2930 | If X is an instance of coastal flooding, then there exists Y such that Y is an instance of seacoast and X is located at Y |
|
