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 8737-8737
(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 8738-8740
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 8736-8736
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8735-8735

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


(subclass Creek StreamWaterArea) Geography.kif 5364-5364
(subclass Rapids StreamWaterArea) Geography.kif 5324-5324
(subclass River StreamWaterArea) Geography.kif 5164-5164
(subclass RiverMouth StreamWaterArea) Geography.kif 5347-5347
(subclass Waterfall StreamWaterArea) Geography.kif 5238-5238
(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 5225-5234
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5108-5114

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


(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5190-5197
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))
Geography.kif 5181-5188


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