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 4237-4239
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4235-4235
(subclass BodyOfWater WaterArea) Geography.kif 4234-4234

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4283-4283
(instance NorthPacificOcean BodyOfWater) Geography.kif 4315-4315
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4296-4296
(instance SouthPacificOcean BodyOfWater) Geography.kif 4329-4329
(instance WorldOcean BodyOfWater) Geography.kif 4242-4242
(subclass Channel BodyOfWater) Geography.kif 4980-4980
(subclass Creek BodyOfWater) Geography.kif 5333-5333
(subclass Estuary BodyOfWater) Geography.kif 4843-4843
(subclass Gulf BodyOfWater) Geography.kif 4786-4786
(subclass Inlet BodyOfWater) Geography.kif 4882-4882
(subclass LandlockedWater BodyOfWater) Geography.kif 4742-4742
(subclass Ocean BodyOfWater) Geography.kif 4256-4256
(subclass River BodyOfWater) Geography.kif 5137-5137
(subclass Sea BodyOfWater) Geography.kif 4435-4435
(subclass Sound BodyOfWater) Geography.kif 4942-4942
(subclass Strait BodyOfWater) Geography.kif 4956-4956
(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 4994-4999
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5322-5331
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4266-4271
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4969-4974

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


(=>
    (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 18838-18867
(=>
    (instance ?S Seafood)
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?S ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 323-330
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5079-5085
(=>
    (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 5012-5020
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 4961-4967


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners