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

KB Term:  Term intersection
English Word: 

Sigma KEE - StreamWaterArea
StreamWaterArea

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


(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 10399-10399
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 10400-10400
(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 10401-10401
(documentation StreamWaterArea EnglishLanguage "A relatively narrow WaterArea where the water flows constantly and in the same direction, e.g. a river, a stream, etc.") Mid-level-ontology.kif 10402-10404

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


(subclass River StreamWaterArea) Geography.kif 7072-7072
(subclass Waterfall StreamWaterArea) Geography.kif 7146-7146
(subclass Rapids StreamWaterArea) Geography.kif 7233-7233
(subclass RiverMouth StreamWaterArea) Geography.kif 7256-7256
(subclass Creek StreamWaterArea) Geography.kif 7273-7273
(termFormat EnglishLanguage StreamWaterArea "stream water area") english_format.kif 1117-1117

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


(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 7020-7026
(=>
    (and
        (instance ?SYSTEM RiverSystem)
        (instance ?STREAM StreamWaterArea)
        (part ?STREAM ?SYSTEM))
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (flows ?STREAM ?RIVER))))		 Geography.kif 7133-7142

consequent
-------------------------


(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))		 Geography.kif 7089-7096
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))		 Geography.kif 7098-7105


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners