Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - flows
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 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