![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint StreamWaterArea StaticWaterArea) | Mid-level-ontology.kif 10240-10240 | 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 10241-10243 | Stream water area is disjoint from static water area |
(subclass StreamWaterArea FlowRegion) | Mid-level-ontology.kif 10239-10239 | Stream water area is a subclass of flow region |
(subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 10238-10238 | Stream water area is a subclass of water area |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER)))) |
Geography.kif 5666-5675 |
|
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5548-5554 |
|
consequent |
![]() |
![]() |
![]() |