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 5746-5747
(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 5744-5744 RiverBodyOfWatersubclass では
(subclass River FreshWaterArea) Geography.kif 5743-5743 River淡水地域subclass では
(subclass River StreamWaterArea) Geography.kif 5742-5742 River河川水域subclass では

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


(disjoint Creek River) Geography.kif 5945-5945 CreekRiverdisjoint では
(instance HudsonRiver River) CountriesAndRegions.kif 831-831 HudsonRiverRiverinstance では
(instance MississippiRiver River) CountriesAndRegions.kif 739-739 MississippiRiverRiverinstance では
(instance RedRiver River) CountriesAndRegions.kif 4236-4236 RedRiverRiverinstance では
(termFormat ChineseLanguage River "河") domainEnglishFormat.kif 50100-50100 RedRiverRiverinstance では
(termFormat ChineseTraditionalLanguage River "河") domainEnglishFormat.kif 50099-50099 RedRiverRiverinstance では
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 50098-50098 RedRiverRiverinstance では

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


(domain streamOutfall 2 River) Geography.kif 5958-5958 streamOutfall の数値 2 引数は Riverinstance では

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5948-5952
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5931-5940
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1823-1828

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 5803-5812
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5768-5775
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 856-862
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))
Geography.kif 5909-5914
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5794-5801
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5787-5792
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 5453-5458
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 6031-6036


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