appearance as argument number 1 |
![]() |
(documentation Waterfall EnglishLanguage "Waterfall is the subclass of StreamWaterAreas where running water falls steeply downhill.") | Geography.kif 5617-5619 | |
(subclass Waterfall StreamWaterArea) | Geography.kif 5615-5615 | Waterfall is a subclass of stream water area |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Waterfall "瀑布") | domainEnglishFormat.kif 62420-62420 | |
(termFormat ChineseTraditionalLanguage Waterfall "瀑布") | domainEnglishFormat.kif 62419-62419 | |
(termFormat EnglishLanguage Waterfall "waterfall") | domainEnglishFormat.kif 62418-62418 |
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 5630-5639 |
|
![]() |
![]() |