Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  River

Sigma KEE - River
River
Río Aar, Adige, Río, Arcansas, Río Arno, Chao Phraya, Río Danubio, ...

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 5140-5141
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") pictureList.kif 879-879
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") pictureList.kif 913-913
(subclass River BodyOfWater) Geography.kif 5138-5138
(subclass River FreshWaterArea) Geography.kif 5137-5137
(subclass River StreamWaterArea) Geography.kif 5136-5136

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


(disjoint Creek River) Geography.kif 5337-5337
(instance HudsonRiver River) CountriesAndRegions.kif 831-831
(instance MississippiRiver River) CountriesAndRegions.kif 739-739
(instance RedRiver River) CountriesAndRegions.kif 4245-4245
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 8773-8773

appearance as argument number 3
-------------------------


(domain streamOutfall 2 River) Geography.kif 5350-5350

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5340-5344
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5323-5332
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?RIVER Waterway))
Transportation.kif 1626-1631

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 5196-5205
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5161-5168
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 803-809
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))
Geography.kif 5301-5306
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5187-5194
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5180-5185
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?ESTUARY))))
Geography.kif 4860-4865
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 5423-5428


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