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

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 7091-7092
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg")	pictureList.kif 878-878
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG")	pictureList.kif 912-912
(subclass River BodyOfWater)	Geography.kif 7089-7089	River is a subclass of BodyOfWater
(subclass River FreshWaterArea)	Geography.kif 7088-7088	River is a subclass of fresh water area
(subclass River StreamWaterArea)	Geography.kif 7087-7087	River is a subclass of stream water area

appearance as argument number 2

(disjoint Creek River)	Geography.kif 7290-7290	Creek is disjoint from River
(instance HudsonRiver River)	CountriesAndRegions.kif 831-831	HudsonRiver is an instance of River
(instance MississippiRiver River)	CountriesAndRegions.kif 739-739	MississippiRiver is an instance of River
(instance RedRiver River)	CountriesAndRegions.kif 4241-4241	RedRiver is an instance of River
(termFormat ChineseLanguage River "河")	domainEnglishFormat.kif 50099-50099	RedRiver is an instance of River
(termFormat ChineseTraditionalLanguage River "河")	domainEnglishFormat.kif 50098-50098	RedRiver is an instance of River
(termFormat EnglishLanguage River "river")	domainEnglishFormat.kif 50097-50097	RedRiver is an instance of River

appearance as argument number 3

(domain streamOutfall 2 River)

Geography.kif 7303-7303

The number 2 argument of streamOutfall is an instance of River

antecedent

(=> (and (instance ?B EndorheicBasin) (instance ?R River) (located ?R ?B)) (not (exists (?OUT) (and (instance ?OUT BodyOfWater) (flows ?R ?OUT)))))	Geography.kif 470-479	If an object is an instance of EndorheicBasin and a physical is an instance of River and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of BodyOfWater and flows the physical and the other physical
(=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R))	Geography.kif 7293-7297	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 7276-7285	If a River is an instance of River and an object is an instance of BodyOfWater and flows the River and the object, then there exists a water area such that the water area is an instance of RiverMouth and streamOutfall the water area and 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 1822-1827	If an object is an instance of River and trafficableForTrafficType the object and a kind of self connected object and a kind of self connected object is a subclass of WaterVehicle, 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 7148-7157	If an object is an instance of RiverSystem 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 flows the other object and the third object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 7113-7120	If an object is an instance of StreamWaterConfluence, 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 flows the third object and the other 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 856-862	If an object is an instance of RiverPort, 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 7254-7259	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 7139-7146	If an object is an instance of RiverSystem, 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 7132-7137	If an object is an instance of RiverSystem, 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 6798-6803	If a physical is an instance of Estuary, then there exists another physical such that the other physical is an instance of River and flows the other physical and the physical
(=> (instance ?bank RiverBank) (exists (?river) (and (instance ?river River) (meetsSpatially ?river ?bank))))	Geography.kif 7376-7381	If an object is an instance of RiverBank, 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 3.0 is open source software produced by Articulate Software and its partners