Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StreamWaterConfluence(stream water confluence) |
| appearance as argument number 1 |
|
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 7084-7084 | Stream water confluence is a subclass of water area |
| (documentation StreamWaterConfluence EnglishLanguage "A StreamWaterConfluence is the place where a stream or other tributary joins a river.") | Geography.kif 7086-7087 | Stream water confluence is a subclass of water area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 7089-7096 | If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of stream water area, X connects Y, Z, Z is an instance of stream water area, and Z is a flows of Y |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 7098-7105 | If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of river, Z is an instance of stream water area, Y is a flows of Z, X connects Y, and Z |
|