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 5101-5103
(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5090-5090 The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 1 Physical) Geography.kif 5092-5092 The number 1 argument of flows is an instance of physical
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5091-5091 The number 2 argument of flows is an instance of the class corresponding to fluid
(domain flows 2 Physical) Geography.kif 5093-5093 The number 2 argument of flows is an instance of physical
(instance flows AsymmetricRelation) Geography.kif 5088-5088 flows is an instance of asymmetric relation
(instance flows BinaryPredicate) Geography.kif 5087-5087 flows is an instance of binary predicate
(instance flows TransitiveRelation) Geography.kif 5089-5089 flows is an instance of transitive relation
(subrelation flows connected) Geography.kif 5099-5099 flows is a subrelation of 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 5098-5098 tributary is a subrelation of flows
(termFormat ChineseLanguage flows "流动") domainEnglishFormat.kif 24289-24289 "流动" is the printable form of flows in ChineseLanguage
(termFormat ChineseTraditionalLanguage flows "流動") domainEnglishFormat.kif 24288-24288 "流動" is the printable form of flows in ChineseTraditionalLanguage
(termFormat EnglishLanguage flows "flows") domainEnglishFormat.kif 24287-24287 "flows" is the printable form of flows in english language

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 5322-5331
(=>
    (flows ?FLUID1 ?FLUID2)
    (connected ?FLUID1 ?FLUID2))
Geography.kif 5105-5107
(=>
    (flows ?FLUID1 ?FLUID2)
    (orientation ?FLUID1 ?FLUID2 Upstream))
Geography.kif 5109-5111

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 5195-5204
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5160-5167
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5152-5158
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5079-5085
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?ESTUARY))))
Geography.kif 4859-4864
(=>
    (streamOutfall ?MOUTH ?RIVER)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (flows ?RIVER ?WATER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5354-5360


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