| 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 5163-5164 | |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5161-5161 | subclass StreamWaterConfluence and WaterArea |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage StreamWaterConfluence "流水汇流") | domainEnglishFormat.kif 55519-55519 | termFormat ChineseLanguage, StreamWaterConfluence and "流水汇流" |
| (termFormat ChineseTraditionalLanguage StreamWaterConfluence "流水匯流") | domainEnglishFormat.kif 55518-55518 | termFormat ChineseTraditionalLanguage, StreamWaterConfluence and "流水匯流" |
| (termFormat EnglishLanguage StreamWaterConfluence "stream water confluence") | domainEnglishFormat.kif 55517-55517 | termFormat EnglishLanguage, StreamWaterConfluence and "stream water confluence" |
| antecedent |
|
|
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5176-5183 | |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?STREAM1 ?FORK) (connects ?STREAM2 ?FORK) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5166-5174 |
|
|
|