|
|
   Waterfall
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Waterfall EnglishLanguage "Waterfall is the subclass of StreamWaterAreas where running water falls steeply downhill.") | Geography.kif 5455-5457 | |
| (subclass Waterfall StreamWaterArea) | Geography.kif 5453-5453 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Waterfall "瀑布") | domainEnglishFormat.kif 62409-62409 | |
| (termFormat ChineseTraditionalLanguage Waterfall "瀑布") | domainEnglishFormat.kif 62408-62408 | |
| (termFormat EnglishLanguage Waterfall "waterfall") | domainEnglishFormat.kif 62407-62407 |
| antecedent |
|
|
| (=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 5468-5477 |
|
|
|