StreamWaterConfluence |
appearance as argument number 1 |
![]() |
(documentation StreamWaterConfluence EnglishLanguage "A StreamWaterConfluence is the place where a stream or other tributary joins a river.") | Geography.kif 5789-5790 | |
(subclass StreamWaterConfluence WaterArea) | Geography.kif 5787-5787 | StreamWaterConfluence は 水域 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage StreamWaterConfluence "流水汇流") | domainEnglishFormat.kif 55582-55582 | |
(termFormat ChineseTraditionalLanguage StreamWaterConfluence "流水匯流") | domainEnglishFormat.kif 55581-55581 | |
(termFormat EnglishLanguage StreamWaterConfluence "stream water confluence") | domainEnglishFormat.kif 55580-55580 |
antecedent |
![]() |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5801-5808 | |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5792-5799 |
![]() |
![]() |