| Creek(creek)
| | Aegospotami, Aegospotamos, arroyo, brook, brooklet, creek, draw, fountain, natural_spring, outflow, outpouring, spring, 溪 |
| appearance as argument number 1 |
|
|
| (disjoint Creek River) | Geography.kif 5352-5352 | 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 5353-5354 | |
| (externalImage Creek "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG") | pictureList.kif 894-894 | "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG" is a URL depicting creek |
| (subclass Creek BodyOfWater) | Geography.kif 5349-5349 | Creek is a subclass of body of water |
| (subclass Creek FreshWaterArea) | Geography.kif 5351-5351 | Creek is a subclass of fresh water area |
| (subclass Creek StreamWaterArea) | Geography.kif 5350-5350 | Creek is a subclass of stream water area |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Creek "溪") | domainEnglishFormat.kif 17731-17731 | "溪" is the printable form of creek in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Creek "溪") | domainEnglishFormat.kif 17730-17730 | "溪" is the printable form of creek in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Creek "creek") | domainEnglishFormat.kif 17729-17729 | "creek" is the printable form of creek in english language |
| antecedent |
|
|
| (=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 5355-5359 |
|
|
|
|