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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiverSystem
RiverSystem(river system)
river_system, 河流系統, 河流系统

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 5190-5193
(externalImage RiverSystem "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ 2007_0810klklk0004.JPG") pictureList.kif 1961-1961 "http://upload.wikimedia.org/wikipedia/commons/6/6b/ 2007_0810klklk0004.JPG" is a URL depicting river system
(subclass RiverSystem Collection) Geography.kif 5188-5188 River system is a subclass of collection
(subclass RiverSystem WaterArea) Geography.kif 5187-5187 River system is a subclass of water area

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


(termFormat ChineseLanguage RiverSystem "河流系统") domainEnglishFormat.kif 50065-50065 "河流系统" is the printable form of river system in ChineseLanguage
(termFormat ChineseTraditionalLanguage RiverSystem "河流系統") domainEnglishFormat.kif 50064-50064 "河流系統" is the printable form of river system in ChineseTraditionalLanguage
(termFormat EnglishLanguage RiverSystem "river system") domainEnglishFormat.kif 50063-50063 "river system" is the printable form of river system in english language

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 5211-5220
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5202-5209
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5195-5200


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners