StreamWaterArea(SuperficieD'AcquaCorrente) |
appearance as argument number 1 |
(disjoint StreamWaterArea StaticWaterArea) | Mid-level-ontology.kif 9034-9034 | SuperficieD'AcquaCorrente è disgiunto da SuperficieD'AcquaFerma |
(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 9035-9037 | |
(subclass StreamWaterArea FlowRegion) | Mid-level-ontology.kif 9033-9033 | SuperficieD'AcquaCorrente è una sottoclasse di FlowRegion |
(subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 9032-9032 | SuperficieD'AcquaCorrente è una sottoclasse di SuperficieAcquatica |
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 5533-5542 | |
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5415-5421 |
consequent |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5498-5505 | |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5489-5496 |