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 4397-4399
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4395-4395 BodyOfWater est une sous-classe de objet en une partie
(subclass BodyOfWater WaterArea) Geography.kif 4394-4394 BodyOfWater est une sous-classe de plan d'eau

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4443-4443 NorthAtlanticOcean est une instance de BodyOfWater
(instance NorthPacificOcean BodyOfWater) Geography.kif 4475-4475 NorthPacificOcean est une instance de BodyOfWater
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4489-4489 NortheasternPacificOcean est une instance de BodyOfWater
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4502-4502 NorthwesternPacificOcean est une instance de BodyOfWater
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4456-4456 SouthAtlanticOcean est une instance de BodyOfWater
(instance SouthPacificOcean BodyOfWater) Geography.kif 4515-4515 SouthPacificOcean est une instance de BodyOfWater
(instance WorldOcean BodyOfWater) Geography.kif 4402-4402 WorldOcean est une instance de BodyOfWater
(subclass Channel BodyOfWater) Geography.kif 5218-5218 Channel est une sous-classe de BodyOfWater
(subclass Creek BodyOfWater) Geography.kif 5573-5573 Creek est une sous-classe de BodyOfWater
(subclass Estuary BodyOfWater) Geography.kif 5081-5081 Estuary est une sous-classe de BodyOfWater
(subclass Gulf BodyOfWater) Geography.kif 5024-5024 Gulf est une sous-classe de BodyOfWater
(subclass Inlet BodyOfWater) Geography.kif 5120-5120 Inlet est une sous-classe de BodyOfWater
(subclass LandlockedWater BodyOfWater) Geography.kif 4980-4980 LandlockedWater est une sous-classe de BodyOfWater
(subclass Ocean BodyOfWater) Geography.kif 4416-4416 Ocean est une sous-classe de BodyOfWater
(subclass River BodyOfWater) Geography.kif 5376-5376 River est une sous-classe de BodyOfWater
(subclass Sea BodyOfWater) Geography.kif 4660-4660 Sea est une sous-classe de BodyOfWater
(subclass Sound BodyOfWater) Geography.kif 5180-5180 Sound est une sous-classe de BodyOfWater
(subclass Strait BodyOfWater) Geography.kif 5194-5194 Strait est une sous-classe de BodyOfWater
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11488-11488
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11487-11487
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11486-11486

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5232-5237
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5562-5571
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4426-4431
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 5207-5212

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 256-265
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (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 20980-21009
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4644-4651
(=>
    (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 5821-5828
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 5317-5323
(=>
    (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 5250-5258
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))		 Geography.kif 5199-5205
(=>
    (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