TreeView Knowledge Base Browser - RiverSystem

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RiverSystem

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

appearance as argument number 2

(termFormat ChineseLanguage RiverSystem "河流系统")	domainEnglishFormat.kif 50024-50024
(termFormat ChineseTraditionalLanguage RiverSystem "河流系統")	domainEnglishFormat.kif 50023-50023
(termFormat EnglishLanguage RiverSystem "river system")	domainEnglishFormat.kif 50022-50022

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 5210-5219	If an object is an instance of river system and another object is an instance of stream water area and the other object is a part of the object, then there exists a third object such that the third object is an instance of river and the third object is a part of the object and the third object is a flows of the other object
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC))))	Geography.kif 5201-5208	If an object is an instance of river system, then there exist another object and a third object such that the other object is an instance of river and the other object is a part of the object and the third object is an instance of static water area and the other object is connected to the third object
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM))))	Geography.kif 5194-5199	If an object is an instance of river system, then there exists another object such that the other object is an instance of river and the other object is a part of the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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