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


KB Term:  Term intersection
English Word: 

Sigma KEE - RiverSystem
RiverSystem(river system)

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


(subclass RiverSystem WaterArea) Geography.kif 7109-7109 River system is a subclass of water area
(subclass RiverSystem CollectionOfObjects) Geography.kif 7110-7110 River system is a subclass of collection
(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 7112-7115 River system is a subclass of collection
(externalImage RiverSystem "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ 2007_0810klklk0004.JPG") pictureList.kif 1959-1959 River system is a subclass of collection

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


(termFormat EnglishLanguage RiverSystem "river system") domainEnglishFormat.kif 50121-50121
(termFormat ChineseTraditionalLanguage RiverSystem "河流系統") domainEnglishFormat.kif 50122-50122
(termFormat ChineseLanguage RiverSystem "河流系统") domainEnglishFormat.kif 50123-50123

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


(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))		 Geography.kif 7117-7122 If X is an instance of river system, then there exists Y such that Y is an instance of river and Y is a part of X
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))		 Geography.kif 7124-7131 If X is an instance of river system, then there exist Y, Z such that Y is an instance of river, Y is a part of X, Z is an instance of static water area, and Y is connected to Z
(=>
    (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 If X is an instance of river system, Y is an instance of stream water area, and Y is a part of X, then there exists Z such that Z is an instance of river, Z is a part of X, and Z is a flows of Y


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