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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyOfWater
BodyOfWater(水体)

appearance as argument number 1
-------------------------


(documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.") Geography.kif 4393-4395
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391 水体 是 自身连接物体 的 subclass
(subclass BodyOfWater WaterArea) Geography.kif 4390-4390 水体 是 水域 的 subclass

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4439-4439 北大西洋 是 水体 的 instance
(instance NorthPacificOcean BodyOfWater) Geography.kif 4471-4471 北太平洋 是 水体 的 instance
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4485-4485 NortheasternPacificOcean 是 水体 的 instance
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4498-4498 NorthwesternPacificOcean 是 水体 的 instance
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4452-4452 南大西洋 是 水体 的 instance
(instance SouthPacificOcean BodyOfWater) Geography.kif 4511-4511 南太平洋 是 水体 的 instance
(instance WorldOcean BodyOfWater) Geography.kif 4398-4398 世界海洋 是 水体 的 instance
(subclass Channel BodyOfWater) Geography.kif 5214-5214 渠道 是 水体 的 subclass
(subclass Creek BodyOfWater) Geography.kif 5569-5569 溪 是 水体 的 subclass
(subclass Estuary BodyOfWater) Geography.kif 5077-5077 河口 是 水体 的 subclass
(subclass Gulf BodyOfWater) Geography.kif 5020-5020 海湾 是 水体 的 subclass
(subclass Inlet BodyOfWater) Geography.kif 5116-5116 进口 是 水体 的 subclass
(subclass LandlockedWater BodyOfWater) Geography.kif 4976-4976 内陆水域 是 水体 的 subclass
(subclass Ocean BodyOfWater) Geography.kif 4412-4412 海洋 是 水体 的 subclass
(subclass River BodyOfWater) Geography.kif 5372-5372 河 是 水体 的 subclass
(subclass Sea BodyOfWater) Geography.kif 4656-4656 海 是 水体 的 subclass
(subclass Sound BodyOfWater) Geography.kif 5176-5176 声音 是 水体 的 subclass
(subclass Strait BodyOfWater) Geography.kif 5190-5190 海峡 是 水体 的 subclass
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11486-11486
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11485-11485
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11484-11484

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5228-5233
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5558-5567
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4422-4427
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 5203-5208

consequent
-------------------------


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))		 Food.kif 256-265
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))		 Mid-level-ontology.kif 20447-20476
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4640-4647
(=>
    (instance ?BREAK BreakingWave)
    (exists (?WAVE ?WATER1 ?WATER2 ?FALL)
        (and
            (instance ?WAVE WaterWave)
            (subProcess ?BREAK ?WAVE)
            (instance ?WATER1 BodyOfWater)
            (instance ?WATER2 BodyOfWater)
            (patient ?WAVE ?WATER2)
            (patient ?BREAK ?WATER1)
            (instance ?FALL Falling)
            (objectTransferred ?FALL ?WATER1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?FALL))
                (part ?WATER1 ?WATER2))
            (holdsDuring
                (EndFn
                    (WhenFn ?FALL))
                (not
                    (part ?WATER1 ?WATER2))))))		 Weather.kif 1352-1372
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 5817-5824
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 5313-5319
(=>
    (instance ?SYSTEM InlandWaterSystem)
    (exists (?BODY1 ?BODY2)
        (and
            (instance ?BODY1 BodyOfWater)
            (instance ?BODY2 BodyOfWater)
            (not
                (equal ?BODY1 ?BODY2))
            (geographicSubregion ?BODY1 ?SYSTEM)
            (geographicSubregion ?BODY2 ?SYSTEM))))		 Geography.kif 5246-5254
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))		 Geography.kif 5195-5201
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH)
        (and
            (instance ?WATER BodyOfWater)
            (eventLocated ?WW ?WATER)
            (part ?CREST ?WATER)
            (part ?TROUGH ?WATER)
            (distance ?CREST ?TROUGH ?X)
            (not
                (exists (?A ?AH)
                    (and
                        (part ?A ?WATER)
                        (altitude ?A ?CREST
                            (MeasureFn ?AH ?U))
                        (greaterThan ?AH 0.0))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH 0.0)))))))		 Weather.kif 1419-1439


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