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 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


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 3.0 is open source software produced by Articulate Software and its partners