Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Creek(creek)
|  | Aegospotami, Aegospotamos, arroyo, brook, brooklet, creek, draw, fountain, natural_spring, outflow, outpouring, spring |
| appearance as argument number 1 |
|
|
| (subclass Creek BodyOfWater) | Geography.kif 7272-7272 | Creek is a subclass of body of water |
| (subclass Creek StreamWaterArea) | Geography.kif 7273-7273 | Creek is a subclass of stream water area |
| (subclass Creek FreshWaterArea) | Geography.kif 7274-7274 | Creek is a subclass of fresh water area |
| (disjoint Creek River) | Geography.kif 7275-7275 | Creek is disjoint from river |
| (documentation Creek EnglishLanguage "Creek is the class of small streams of fresh water flowing through land, usually into a River.") | Geography.kif 7276-7277 | Creek is disjoint from river |
| (externalImage Creek "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG") | pictureList.kif 893-893 | Creek is disjoint from river |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 7278-7282 | If X is an instance of creek and Y is an instance of river, then X is smaller than Y |
|