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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiverSystem
RiverSystem

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


(documentation RiverSystem EnglishLanguage "A RiverSystem comprises all the tributary streams and rivers (StreamWaterAreas) that drain along converging paths into the main river of the system, which discharges into a StaticWaterArea.") Geography.kif 5512-5515
(externalImage RiverSystem "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ 2007_0810klklk0004.JPG") pictureList.kif 1960-1960
(subclass RiverSystem Collection) Geography.kif 5510-5510 RiverSystemコレクションsubclass では %n
(subclass RiverSystem WaterArea) Geography.kif 5509-5509 RiverSystem水域subclass では %n

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


(termFormat ChineseLanguage RiverSystem "河流系统") domainEnglishFormat.kif 50126-50126
(termFormat ChineseTraditionalLanguage RiverSystem "河流系統") domainEnglishFormat.kif 50125-50125
(termFormat EnglishLanguage RiverSystem "river system") domainEnglishFormat.kif 50124-50124

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 5533-5542
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5524-5531
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5517-5522


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