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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 5149-5150
(subclass StreamWaterConfluence WaterArea) Geography.kif 5147-5147

appearance as argument number 2

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


    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5160-5167
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
            (instance ?STREAM1 StreamWaterArea)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5152-5158

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