flows |
appearance as argument number 1 |
![]() |
(documentation flows EnglishLanguage "(flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected.") | Geography.kif 5130-5132 | |
(domain flows 1 (ExtensionFn Fluid)) |
Geography.kif 5119-5119 | |
(domain flows 1 Physical) | Geography.kif 5121-5121 | |
(domain flows 2 (ExtensionFn Fluid)) |
Geography.kif 5120-5120 | |
(domain flows 2 Physical) | Geography.kif 5122-5122 | |
(instance flows AsymmetricRelation) | Geography.kif 5117-5117 | |
(instance flows BinaryPredicate) | Geography.kif 5116-5116 | |
(instance flows TransitiveRelation) | Geography.kif 5118-5118 | |
(subrelation flows connected) | Geography.kif 5128-5128 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage flows "%2 %n 是 %1 的 flows ") | domainEnglishFormat.kif 1077-1077 | |
(format ChineseTraditionalLanguage flows "%2 %n 是 %1 的 flows ") | domainEnglishFormat.kif 1076-1076 | |
(format EnglishLanguage flows "%2 is %n a flows of %1") | domainEnglishFormat.kif 1075-1075 | |
(subrelation tributary flows) | Geography.kif 5127-5127 | |
(termFormat ChineseLanguage flows "流动") | domainEnglishFormat.kif 24358-24358 | |
(termFormat ChineseTraditionalLanguage flows "流動") | domainEnglishFormat.kif 24357-24357 | |
(termFormat EnglishLanguage flows "flows") | domainEnglishFormat.kif 24356-24356 |
antecedent |
![]() |
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5352-5361 | |
(=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 5134-5136 | |
(=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream)) |
Geography.kif 5138-5140 |
consequent |
![]() |
(=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER)))) |
Geography.kif 5225-5234 | |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5190-5197 | |
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5181-5188 | |
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5108-5114 | |
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 4888-4893 | |
(=> (streamOutfall ?MOUTH ?RIVER) (exists (?WATER) (and (instance ?WATER WaterArea) (flows ?RIVER ?WATER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5384-5390 |
![]() |
![]() |