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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StreamWaterConfluence

Sigma KEE - StreamWaterConfluence
StreamWaterConfluence

appearance as argument number 1
-------------------------


(documentation StreamWaterConfluence EnglishLanguage "A StreamWaterConfluence is the place where a stream or other tributary joins a river.") Geography.kif 5150-5151
(subclass StreamWaterConfluence WaterArea) Geography.kif 5148-5148

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage StreamWaterConfluence "stream water confluence") domainEnglishFormat.kif 9687-9687

antecedent
-------------------------


(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5161-5168
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5153-5159


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners