| 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 5115-5117 | |
| (domain flows 1 (ExtensionFn Fluid)) |
Geography.kif 5104-5104 | domain flows, 1 and ExtensionFn Fluid |
| (domain flows 1 Physical) | Geography.kif 5106-5106 | domain flows, 1 and Physical |
| (domain flows 2 (ExtensionFn Fluid)) |
Geography.kif 5105-5105 | domain flows, 2 and ExtensionFn Fluid |
| (domain flows 2 Physical) | Geography.kif 5107-5107 | domain flows, 2 and Physical |
| (instance flows AsymmetricRelation) | Geography.kif 5102-5102 | instance flows and AsymmetricRelation |
| (instance flows BinaryPredicate) | Geography.kif 5101-5101 | instance flows and BinaryPredicate |
| (instance flows TransitiveRelation) | Geography.kif 5103-5103 | instance flows and TransitiveRelation |
| (subrelation flows connected) | Geography.kif 5113-5113 | subrelation flows and connected |
| 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 5112-5112 | subrelation tributary and flows |
| (termFormat ChineseLanguage flows "流动") | domainEnglishFormat.kif 24289-24289 | termFormat ChineseLanguage, flows and "流动" |
| (termFormat ChineseTraditionalLanguage flows "流動") | domainEnglishFormat.kif 24288-24288 | termFormat ChineseTraditionalLanguage, flows and "流動" |
| (termFormat EnglishLanguage flows "flows") | domainEnglishFormat.kif 24287-24287 | termFormat EnglishLanguage, flows and "flows" |
| 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 5338-5347 | |
| (=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 5119-5121 | |
| (=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream)) |
Geography.kif 5123-5125 |
| 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 5211-5220 | |
| (=> (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 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5093-5099 | |
| (=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER)))) |
Geography.kif 4873-4878 | |
| (=> (streamOutfall ?MOUTH ?RIVER) (exists (?WATER) (and (instance ?WATER WaterArea) (flows ?RIVER ?WATER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5370-5376 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners