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 4401-4403
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4399-4399 BodyOfWater は 自己接続オブジェクト の subclass では %n
(subclass BodyOfWater WaterArea) Geography.kif 4398-4398 BodyOfWater は 水域 の subclass では %n

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4447-4447 NorthAtlanticOcean は BodyOfWater の instance では %n
(instance NorthPacificOcean BodyOfWater) Geography.kif 4479-4479 NorthPacificOcean は BodyOfWater の instance では %n
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4493-4493 NortheasternPacificOcean は BodyOfWater の instance では %n
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4506-4506 NorthwesternPacificOcean は BodyOfWater の instance では %n
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4460-4460 SouthAtlanticOcean は BodyOfWater の instance では %n
(instance SouthPacificOcean BodyOfWater) Geography.kif 4519-4519 SouthPacificOcean は BodyOfWater の instance では %n
(instance WorldOcean BodyOfWater) Geography.kif 4406-4406 WorldOcean は BodyOfWater の instance では %n
(subclass Channel BodyOfWater) Geography.kif 5223-5223 Channel は BodyOfWater の subclass では %n
(subclass Creek BodyOfWater) Geography.kif 5579-5579 Creek は BodyOfWater の subclass では %n
(subclass Estuary BodyOfWater) Geography.kif 5086-5086 Estuary は BodyOfWater の subclass では %n
(subclass Gulf BodyOfWater) Geography.kif 5029-5029 Gulf は BodyOfWater の subclass では %n
(subclass Inlet BodyOfWater) Geography.kif 5125-5125 Inlet は BodyOfWater の subclass では %n
(subclass LandlockedWater BodyOfWater) Geography.kif 4985-4985 LandlockedWater は BodyOfWater の subclass では %n
(subclass Ocean BodyOfWater) Geography.kif 4420-4420 Ocean は BodyOfWater の subclass では %n
(subclass River BodyOfWater) Geography.kif 5381-5381 River は BodyOfWater の subclass では %n
(subclass Sea BodyOfWater) Geography.kif 4665-4665 Sea は BodyOfWater の subclass では %n
(subclass Sound BodyOfWater) Geography.kif 5185-5185 Sound は BodyOfWater の subclass では %n
(subclass Strait BodyOfWater) Geography.kif 5199-5199 Strait は BodyOfWater の subclass では %n
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11483-11483
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11482-11482
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11481-11481

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5237-5242
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5568-5577
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4430-4435
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 5212-5217

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


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))		 Food.kif 640-649
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (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 21050-21080
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4649-4656
(=>
    (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 1353-1373
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 5827-5834
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 5322-5328
(=>
    (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 5255-5263
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))		 Geography.kif 5204-5210
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH ?U)
        (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 1420-1440


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