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 5153-5154
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") pictureList.kif 879-879 externalImage River and "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg"
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") pictureList.kif 913-913 externalImage River and "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG"
(subclass River BodyOfWater) Geography.kif 5151-5151 subclass River and BodyOfWater
(subclass River FreshWaterArea) Geography.kif 5150-5150 subclass River and FreshWaterArea
(subclass River StreamWaterArea) Geography.kif 5149-5149 subclass River and StreamWaterArea

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


(disjoint Creek River) Geography.kif 5352-5352 disjoint Creek and River
(instance HudsonRiver River) CountriesAndRegions.kif 831-831 instance HudsonRiver and River
(instance MississippiRiver River) CountriesAndRegions.kif 739-739 instance MississippiRiver and River
(instance RedRiver River) CountriesAndRegions.kif 4242-4242 instance RedRiver and River
(termFormat ChineseLanguage River "河") domainEnglishFormat.kif 50035-50035 termFormat ChineseLanguage, River and "河"
(termFormat ChineseTraditionalLanguage River "河") domainEnglishFormat.kif 50034-50034 termFormat ChineseTraditionalLanguage, River and "河"
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 50033-50033 termFormat EnglishLanguage, River and "river"

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


(domain streamOutfall 2 River) Geography.kif 5365-5365 domain streamOutfall, 2 and River

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5355-5359
(=>
    (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
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1668-1673

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
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5176-5183
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 845-851
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))
Geography.kif 5316-5321
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5202-5209
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5195-5200
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 4873-4878
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 5438-5443


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