TreeView Knowledge Base Browser - River

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - River

River

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 5476-5477
(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 5474-5474	River ist eine teilkategorie von BodyOfWater
(subclass River FreshWaterArea)	Geography.kif 5473-5473	River ist eine teilkategorie von FreshWaterArea
(subclass River StreamWaterArea)	Geography.kif 5472-5472	River ist eine teilkategorie von StreamWaterArea

appearance as argument number 2

(disjoint Creek River)	Geography.kif 5675-5675	Creek ist dijunkt von River %n{nicht}
(instance HudsonRiver River)	CountriesAndRegions.kif 831-831	HudsonRiver ist ein fall von River %n{nicht}
(instance MississippiRiver River)	CountriesAndRegions.kif 739-739	MississippiRiver ist ein fall von River %n{nicht}
(instance RedRiver River)	CountriesAndRegions.kif 4241-4241	RedRiver ist ein fall von River %n{nicht}
(termFormat ChineseLanguage River "河")	domainEnglishFormat.kif 50098-50098
(termFormat ChineseTraditionalLanguage River "河")	domainEnglishFormat.kif 50097-50097
(termFormat EnglishLanguage River "river")	domainEnglishFormat.kif 50096-50096

appearance as argument number 3

(domain streamOutfall 2 River)

Geography.kif 5688-5688

Die Zahl 2 Argument von streamOutfall ist ein fall von River %n{nicht}

antecedent

(=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R))	Geography.kif 5678-5682	Wenn Object ist ein fall von Creek %n{nicht} und Object ist ein fall von River %n{nicht}, dann Object ist kleiner als 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 5661-5670	Wenn River ist ein fall von River %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und flows River and Object, dann es gibt WaterArea um WaterArea ist ein fall von RiverMouth %n{nicht} und streamOutfall WaterArea and River und WaterArea wird an ** Object angeschlossen
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1683-1688	Wenn Object ist ein fall von River %n{nicht} und trafficableForTrafficType Object and SelfConnectedObject und SelfConnectedObject ist eine teilkategorie von WaterVehicle, dann Object ist ein fall von Waterway %n{nicht}

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 5533-5542	Wenn Object ist ein fall von RiverSystem %n{nicht} und Object ist ein fall von StreamWaterArea %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Object um Object ist ein fall von River %n{nicht} und Object ist ein teil von Object %n{nicht} und flows Object and Object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 5498-5505	Wenn Object ist ein fall von StreamWaterConfluence %n{nicht}, dann es gibt Object und Object um Object ist ein fall von River %n{nicht} und Object ist ein fall von StreamWaterArea %n{nicht} und flows Object and Object und Object schleisst Object und ** Object an
(=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER))))	Transportation.kif 856-862	Wenn Object ist ein fall von RiverPort %n{nicht}, dann es gibt Object um Object ist ein fall von River %n{nicht} und Object ist ein fall von Waterway %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?RAPIDS Rapids) (exists (?RIVER) (and (instance ?RIVER River) (part ?RAPIDS ?RIVER))))	Geography.kif 5639-5644	Wenn Object ist ein fall von Rapids %n{nicht}, dann es gibt Object um Object ist ein fall von River %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC))))	Geography.kif 5524-5531	Wenn Object ist ein fall von RiverSystem %n{nicht}, dann es gibt Object und Object um Object ist ein fall von River %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von StaticWaterArea %n{nicht} und Object wird an ** Object angeschlossen
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM))))	Geography.kif 5517-5522	Wenn Object ist ein fall von RiverSystem %n{nicht}, dann es gibt Object um Object ist ein fall von River %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER))))	Geography.kif 5195-5200	Wenn Physical ist ein fall von Estuary %n{nicht}, dann es gibt Physical um Physical ist ein fall von River %n{nicht} und flows Physical and Physical
(=> (instance ?bank RiverBank) (exists (?river) (and (instance ?river River) (meetsSpatially ?river ?bank))))	Geography.kif 5761-5766	Wenn Object ist ein fall von RiverBank %n{nicht}, dann es gibt Object um Object ist ein fall von River %n{nicht} und Object schliesst Object raeumlich an

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 3.0 is open source software produced by Articulate Software and its partners