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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StreamWaterArea
StreamWaterArea

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


(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 8525-8525
(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 8526-8528
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 8524-8524
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8523-8523

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


(subclass Creek StreamWaterArea) Geography.kif 5455-5455
(subclass Rapids StreamWaterArea) Geography.kif 5415-5415
(subclass River StreamWaterArea) Geography.kif 5255-5255
(subclass RiverMouth StreamWaterArea) Geography.kif 5438-5438
(subclass Waterfall StreamWaterArea) Geography.kif 5329-5329
(termFormat ChineseLanguage StreamWaterArea "溪水区") chinese_format.kif 953-953
(termFormat EnglishLanguage StreamWaterArea "stream water area") english_format.kif 1118-1118

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


(=>
    (and
        (instance ?SYSTEM RiverSystem)
        (instance ?STREAM StreamWaterArea)
        (part ?STREAM ?SYSTEM))
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (flows ?STREAM ?RIVER))))
Geography.kif 5316-5325
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5199-5205

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


(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5281-5288
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5272-5279


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