| StreamWaterArea | |
| appearance as argument number 1 |
|
|
| (disjoint StreamWaterArea StaticWaterArea) | Mid-level-ontology.kif 8755-8755 | disjoint StreamWaterArea and StaticWaterArea |
| (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 8756-8758 | |
| (subclass StreamWaterArea FlowRegion) | Mid-level-ontology.kif 8754-8754 | subclass StreamWaterArea and FlowRegion |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 8753-8753 | subclass StreamWaterArea and WaterArea |
| appearance as argument number 2 |
|
|
| (subclass Creek StreamWaterArea) | Geography.kif 5350-5350 | subclass Creek and StreamWaterArea |
| (subclass Rapids StreamWaterArea) | Geography.kif 5310-5310 | subclass Rapids and StreamWaterArea |
| (subclass River StreamWaterArea) | Geography.kif 5149-5149 | subclass River and StreamWaterArea |
| (subclass RiverMouth StreamWaterArea) | Geography.kif 5333-5333 | subclass RiverMouth and StreamWaterArea |
| (subclass Waterfall StreamWaterArea) | Geography.kif 5224-5224 | subclass Waterfall and StreamWaterArea |
| (termFormat ChineseLanguage StreamWaterArea "溪水区") | chinese_format.kif 953-953 | termFormat ChineseLanguage, StreamWaterArea and "溪水区" |
| (termFormat EnglishLanguage StreamWaterArea "stream water area") | english_format.kif 1118-1118 | termFormat EnglishLanguage, StreamWaterArea and "stream water area" |
| 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 5211-5220 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5093-5099 |
| consequent |
|
|
| (=> (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 |
|
|
|