Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| flows |
| appearance as argument number 1 |
|
| (instance flows BinaryPredicate) | Geography.kif 7028-7028 | flows is an instance of binary predicate |
| (instance flows AsymmetricRelation) | Geography.kif 7029-7029 | flows is an instance of asymmetric relation |
| (instance flows TransitiveRelation) | Geography.kif 7030-7030 | flows is an instance of transitive relation |
| (domain flows 1 Physical) | Geography.kif 7031-7031 | The number 1 argument of flows is an instance of physical |
| (domain flows 2 Physical) | Geography.kif 7032-7032 | The number 2 argument of flows is an instance of physical |
| (documentation flows EnglishLanguage "(flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected.") | Geography.kif 7042-7044 | The number 2 argument of flows is an instance of physical |
| appearance as argument number 2 |
|
|
| (subrelation tributary flows) | Geography.kif 7039-7039 | tributary is a subrelation of flows |
| (format EnglishLanguage flows "%2 is %n a flows of %1") | domainEnglishFormat.kif 1075-1075 | tributary is a subrelation of flows |
| (format ChineseTraditionalLanguage flows "%2 %n 是 %1 的 flows ") | domainEnglishFormat.kif 1076-1076 | tributary is a subrelation of flows |
| (format ChineseLanguage flows "%2 %n 是 %1 的 flows ") | domainEnglishFormat.kif 1077-1077 | tributary is a subrelation of flows |
| (termFormat EnglishLanguage flows "flows") | domainEnglishFormat.kif 24352-24352 | tributary is a subrelation of flows |
| (termFormat ChineseTraditionalLanguage flows "流動") | domainEnglishFormat.kif 24353-24353 | tributary is a subrelation of flows |
| (termFormat ChineseLanguage flows "流动") | domainEnglishFormat.kif 24354-24354 | tributary is a subrelation of flows |
| antecedent |
|
|
| (=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 7047-7049 | If X is a flows of Y, then Y is connected to X |
| (=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream)) |
Geography.kif 7051-7053 | If X is a flows of Y, then Y is upstream from to X |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 7261-7270 | If X is an instance of river, Y is an instance of body of water, and Y is a flows of X, then there exists Z such that Z is an instance of river mouth, Z is the outfall of X, and Z is connected to Y |
| consequent |
|
|
| (=> (and (instance ?B EndorheicBasin) (instance ?R River) (located ?R ?B)) (not (exists (?OUT) (and (instance ?OUT BodyOfWater) (flows ?R ?OUT))))) |
Geography.kif 470-479 | If X is an instance of endorheic basin, Y is an instance of river, and Y is located at X, then there doesn't exist Z such that Z is an instance of body of water and Z is a flows of Y |
| (=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 6788-6793 | If X is an instance of estuary, then there exists Y such that Y is an instance of river and X is a flows of Y |
| (=> (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 |
| (=> (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 |
| (=> (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 |
| (=> (streamOutfall ?MOUTH ?RIVER) (exists (?WATER) (and (instance ?WATER WaterArea) (flows ?RIVER ?WATER) (connected ?MOUTH ?WATER)))) |
Geography.kif 7293-7299 | If X is the outfall of Y, then there exists Z such that Z is an instance of water area, Z is a flows of Y, and X is connected to Z |
|