River - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - River

River(river)

Aar, Aare, Aare_River, Acheron, Adige, Aire, Aire_River, Alabama, Alabama_River, Allegheny, Allegheny_River, Amazon, Amazon_River, Amur, Amur_River, Angara, Angara_River, Apalachicola, Apalachicola_River, Araguaia, Araguaia_River, Araguaya, Araguaya_River, Aras, Arauca, Araxes, Argun, Argun_River, Arkansas, Arkansas_River, Arno, Arno_River, Avon, Big_Sioux_River, Bighorn, Bighorn_River, Blue_Nile, Brahmaputra, Brahmaputra_River, Brazos, Brazos_River, Caloosahatchee, Caloosahatchee_River, Cam, Cam_River, Canadian, Canadian_River, Canton_River, Cape_Fear_River, Chang...

appearance as argument number 1

(documentation River EnglishLanguage "River is the class of large streams of fresh water flowing through land into a lake, ocean, or other body of water.")	Geography.kif 5153-5154
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg")	pictureList.kif 879-879	"http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg" is a URL depicting river
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG")	pictureList.kif 913-913	"http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG" is a URL depicting river
(subclass River BodyOfWater)	Geography.kif 5151-5151	River is a subclass of body of water
(subclass River FreshWaterArea)	Geography.kif 5150-5150	River is a subclass of fresh water area
(subclass River StreamWaterArea)	Geography.kif 5149-5149	River is a subclass of stream water area

appearance as argument number 2

(disjoint Creek River)	Geography.kif 5352-5352	Creek is disjoint from river
(instance HudsonRiver River)	CountriesAndRegions.kif 831-831	Hudson river is an instance of river
(instance MississippiRiver River)	CountriesAndRegions.kif 739-739	Mississippi river is an instance of river
(instance RedRiver River)	CountriesAndRegions.kif 4242-4242	Red river is an instance of river
(termFormat ChineseLanguage River "河")	domainEnglishFormat.kif 50035-50035	"河" is the printable form of river in ChineseLanguage
(termFormat ChineseTraditionalLanguage River "河")	domainEnglishFormat.kif 50034-50034	"河" is the printable form of river in ChineseTraditionalLanguage
(termFormat EnglishLanguage River "river")	domainEnglishFormat.kif 50033-50033	"river" is the printable form of river in english language

appearance as argument number 3

(domain streamOutfall 2 River)

Geography.kif 5365-5365

The number 2 argument of stream outfall is an instance of river

antecedent

(=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R))	Geography.kif 5355-5359	If an object is an instance of creek and another object is an instance of river, then the object is smaller than the other object
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5338-5347	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1668-1673	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway

consequent

(=> (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	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 ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 5176-5183	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of river and the third object is an instance of stream water area and the other object is a flows of the third object and the object connects the other object and the third object
(=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER))))	Transportation.kif 845-851	If an object is an instance of river port, then there exists another object such that the other object is an instance of river and the other object is an instance of waterway and the object meets the other object
(=> (instance ?RAPIDS Rapids) (exists (?RIVER) (and (instance ?RIVER River) (part ?RAPIDS ?RIVER))))	Geography.kif 5316-5321	If an object is an instance of rapids, then there exists another object such that the other object is an instance of river and the object is a part 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 5202-5209	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 5195-5200	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
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER))))	Geography.kif 4873-4878	If a physical is an instance of estuary, then there exists another physical such that the other physical is an instance of river and the physical is a flows of the other physical
(=> (instance ?bank RiverBank) (exists (?river) (and (instance ?river River) (meetsSpatially ?river ?bank))))	Geography.kif 5438-5443	If an object is an instance of river bank, then there exists another object such that the other object is an instance of river and the other object meets the object

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