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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyOfWater

Sigma KEE - BodyOfWater
BodyOfWater(body of water)

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 4250-4252
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248 Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea) Geography.kif 4247-4247 Body of water is a subclass of water area

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4296-4296 North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater) Geography.kif 4328-4328 North pacific ocean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4309-4309 South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater) Geography.kif 4342-4342 South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater) Geography.kif 4255-4255 World ocean is an instance of body of water
(subclass Channel BodyOfWater) Geography.kif 4994-4994 Channel is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5348-5348 Creek is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 4857-4857 Estuary is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 4800-4800 Gulf is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 4896-4896 Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 4756-4756 Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater) Geography.kif 4269-4269 Ocean is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5151-5151 River is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4449-4449 Sea is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 4956-4956 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 4970-4970 Strait is a subclass of body of water
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11425-11425
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11424-11424
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11423-11423

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5008-5013
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5337-5346
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4279-4284
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4983-4988

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 274-283
(=>
    (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 ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18864-18893
(=>
    (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)
            (objectTransferrred ?FALL ?WATER1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?FALL))
                (part ?WATER1 ?WATER2))
            (holdsDuring
                (EndFn
                    (WhenFn ?FALL))
                (not
                    (part ?WATER1 ?WATER2))))))
Weather.kif 976-996
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5093-5099
(=>
    (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 5026-5034
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 4975-4981
(=>
    (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
                            (MeasureFn 0 ?U)))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH
                            (MeasureFn 0 ?U))))))))
Weather.kif 1028-1048


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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