| Creek
| |
| appearance as argument number 1 |
|
|
| (disjoint Creek River) | Geography.kif 5945-5945 | |
| (documentation Creek EnglishLanguage "Creek is the class of small streams of fresh water flowing through land, usually into a River.") | Geography.kif 5946-5947 | |
| (externalImage Creek "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG") | pictureList.kif 893-893 | |
| (subclass Creek BodyOfWater) | Geography.kif 5942-5942 | |
| (subclass Creek FreshWaterArea) | Geography.kif 5944-5944 | |
| (subclass Creek StreamWaterArea) | Geography.kif 5943-5943 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Creek "溪") | domainEnglishFormat.kif 17811-17811 | |
| (termFormat ChineseTraditionalLanguage Creek "溪") | domainEnglishFormat.kif 17810-17810 | |
| (termFormat EnglishLanguage Creek "creek") | domainEnglishFormat.kif 17809-17809 |
| antecedent |
|
|
| (=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 5948-5952 |
|
|
|