Creek
|
|
appearance as argument number 1 |
(disjoint Creek River) | Geography.kif 5675-5675 | Creek ist dijunkt von River %n{nicht} |
(documentation Creek EnglishLanguage "Creek is the class of small streams of fresh water flowing through land, usually into a River.") | Geography.kif 5676-5677 | |
(externalImage Creek "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG") | pictureList.kif 893-893 | |
(subclass Creek BodyOfWater) | Geography.kif 5672-5672 | Creek ist eine teilkategorie von BodyOfWater |
(subclass Creek FreshWaterArea) | Geography.kif 5674-5674 | Creek ist eine teilkategorie von FreshWaterArea |
(subclass Creek StreamWaterArea) | Geography.kif 5673-5673 | Creek ist eine teilkategorie von StreamWaterArea |
appearance as argument number 2 |
(termFormat ChineseLanguage Creek "溪") | domainEnglishFormat.kif 17802-17802 | |
(termFormat ChineseTraditionalLanguage Creek "溪") | domainEnglishFormat.kif 17801-17801 | |
(termFormat EnglishLanguage Creek "creek") | domainEnglishFormat.kif 17800-17800 |
antecedent |
(=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 5678-5682 |