Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Delta(delta)
|  | delta |
| appearance as argument number 1 |
|
|
| (subclass Delta LandForm) | Geography.kif 7376-7376 | Delta is a subclass of land form |
| (documentation Delta EnglishLanguage "A Delta is a LandForm composed of silt or other alluvium, deposited at or near the mouth of a river or stream as it enters a body of relatively static water. Typically a delta is flat and fan_shaped.") | Geography.kif 7378-7380 | Delta is a subclass of land form |
| (externalImage Delta "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e7/ NarsarsuaqGreenland_ArcuateDelta.jpg/ 200px_NarsarsuaqGreenland_ArcuateDelta.jpg") | pictureList.kif 1090-1090 | Delta is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Delta Delta) (exists (?Mouth) (and (instance ?Mouth RiverMouth) (meetsSpatially ?Mouth ?Delta)))) |
Geography.kif 7382-7387 | If X is an instance of delta, then there exists Y such that Y is an instance of river mouth and Y meets X |
| (=> (instance ?Delta Delta) (attribute ?Delta FlatTerrain)) |
Geography.kif 7389-7391 | If X is an instance of delta, then flat terrain is an attribute of X |
|