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 5335-5337
(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5324-5324 流动 的 1 数量 是 和 流体 对应的 Classinstance
(domain flows 1 Physical) Geography.kif 5326-5326 流动 的 1 数量 是 物理instance
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5325-5325 流动 的 2 数量 是 和 流体 对应的 Classinstance
(domain flows 2 Physical) Geography.kif 5327-5327 流动 的 2 数量 是 物理instance
(instance flows AsymmetricRelation) Geography.kif 5322-5322 流动非对称关系instance
(instance flows BinaryPredicate) Geography.kif 5321-5321 流动二元谓语instance
(instance flows TransitiveRelation) Geography.kif 5323-5323 流动传递关系instance

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 5332-5332 支流流动subrelation
(termFormat ChineseLanguage flows "流动") domainEnglishFormat.kif 24351-24351
(termFormat ChineseTraditionalLanguage flows "流動") domainEnglishFormat.kif 24350-24350
(termFormat EnglishLanguage flows "flows") domainEnglishFormat.kif 24349-24349

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 5558-5567
(=>
    (flows ?FLUID1 ?FLUID2)
    (connected ?FLUID1 ?FLUID2))
Geography.kif 5340-5342
(=>
    (flows ?FLUID1 ?FLUID2)
    (orientation ?FLUID1 ?FLUID2 Upstream))
Geography.kif 5344-5346

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 5431-5440
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5396-5403
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5387-5394
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5313-5319
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 5093-5098
(=>
    (streamOutfall ?MOUTH ?RIVER)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (flows ?RIVER ?WATER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5590-5596


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