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

Formal Language: 



KB Term:  Term intersection
English Word: 

  flows

 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 5437-5439
(domain flows 1
    (ExtensionFn Fluid))		 Geography.kif 5426-5426 流动 的 1 数量 是 和 流体 对应的 Class 的 instance
(domain flows 1 Physical) Geography.kif 5428-5428 流动 的 1 数量 是 物理 的 instance
(domain flows 2
    (ExtensionFn Fluid))		 Geography.kif 5427-5427 流动 的 2 数量 是 和 流体 对应的 Class 的 instance
(domain flows 2 Physical) Geography.kif 5429-5429 流动 的 2 数量 是 物理 的 instance
(instance flows AsymmetricRelation) Geography.kif 5424-5424 流动 是 非对称关系 的 instance
(instance flows BinaryPredicate) Geography.kif 5423-5423 流动 是 二元谓语 的 instance
(instance flows TransitiveRelation) Geography.kif 5425-5425 流动 是 传递关系 的 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 5434-5434 支流 是 流动 的 subrelation
(termFormat ChineseLanguage flows "流动") domainEnglishFormat.kif 24356-24356
(termFormat ChineseTraditionalLanguage flows "流動") domainEnglishFormat.kif 24355-24355
(termFormat EnglishLanguage flows "flows") domainEnglishFormat.kif 24354-24354

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 5661-5670
(=>
    (flows ?FLUID1 ?FLUID2)
    (connected ?FLUID1 ?FLUID2))		 Geography.kif 5442-5444
(=>
    (flows ?FLUID1 ?FLUID2)
    (orientation ?FLUID1 ?FLUID2 Upstream))		 Geography.kif 5446-5448

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 5533-5542
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))		 Geography.kif 5498-5505
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))		 Geography.kif 5489-5496
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 5415-5421
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))		 Geography.kif 5195-5200
(=>
    (streamOutfall ?MOUTH ?RIVER)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (flows ?RIVER ?WATER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5693-5699


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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