Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StreamWaterArea(stream water area) |  | East_River, Erie_Canal, Fountain_of_Youth, Harlem_River, Nilotic, Old_Faithful, Verrazano_Narrows, affluent, alluvial_cone, alluvial_fan, billabong, branch, channel, confluent, crossing, feeder, flume, fluvial, ford, fountainhead, geyser, gulch, gully, head, headspring, headstream, headwater, hot_spring, midstream, rill, rivulet, run, runnel, stream, streamlet, thalweg, thermal_spring, tidal_river, tidal_stream, tidewater_river, tidewater_stream, tideway, tributary, water_gap, water_system, watercourse, white_water, whitewater |
| appearance as argument number 1 |
|
|
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 10399-10399 | Stream water area is a subclass of water area |
| (subclass StreamWaterArea FlowRegion) | Mid-level-ontology.kif 10400-10400 | Stream water area is a subclass of flow region |
| (disjoint StreamWaterArea StaticWaterArea) | Mid-level-ontology.kif 10401-10401 | Stream water area is disjoint from static water area |
| (documentation StreamWaterArea EnglishLanguage "A relatively narrow WaterArea where the water flows constantly and in the same direction, e.g. a river, a stream, etc.") | Mid-level-ontology.kif 10402-10404 | Stream water area is disjoint from static water area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 7020-7026 | If X is an instance of stream water area, then there exists Y such that Y is an instance of body of water, equal Y, X, and Y is a flows of X |
| (=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER)))) |
Geography.kif 7133-7142 | If X is an instance of river system, Y is an instance of stream water area, and Y is a part of X, then there exists Z such that Z is an instance of river, Z is a part of X, and Z is a flows of Y |
| consequent |
|
|
| (=> (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 |
|