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 4250-4252
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248 subclass BodyOfWater and SelfConnectedObject
(subclass BodyOfWater WaterArea) Geography.kif 4247-4247 subclass BodyOfWater and WaterArea

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4296-4296 instance NorthAtlanticOcean and BodyOfWater
(instance NorthPacificOcean BodyOfWater) Geography.kif 4328-4328 instance NorthPacificOcean and BodyOfWater
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4309-4309 instance SouthAtlanticOcean and BodyOfWater
(instance SouthPacificOcean BodyOfWater) Geography.kif 4342-4342 instance SouthPacificOcean and BodyOfWater
(instance WorldOcean BodyOfWater) Geography.kif 4255-4255 instance WorldOcean and BodyOfWater
(subclass Channel BodyOfWater) Geography.kif 4994-4994 subclass Channel and BodyOfWater
(subclass Creek BodyOfWater) Geography.kif 5349-5349 subclass Creek and BodyOfWater
(subclass Estuary BodyOfWater) Geography.kif 4857-4857 subclass Estuary and BodyOfWater
(subclass Gulf BodyOfWater) Geography.kif 4800-4800 subclass Gulf and BodyOfWater
(subclass Inlet BodyOfWater) Geography.kif 4896-4896 subclass Inlet and BodyOfWater
(subclass LandlockedWater BodyOfWater) Geography.kif 4756-4756 subclass LandlockedWater and BodyOfWater
(subclass Ocean BodyOfWater) Geography.kif 4269-4269 subclass Ocean and BodyOfWater
(subclass River BodyOfWater) Geography.kif 5151-5151 subclass River and BodyOfWater
(subclass Sea BodyOfWater) Geography.kif 4449-4449 subclass Sea and BodyOfWater
(subclass Sound BodyOfWater) Geography.kif 4956-4956 subclass Sound and BodyOfWater
(subclass Strait BodyOfWater) Geography.kif 4970-4970 subclass Strait and BodyOfWater
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11425-11425 termFormat ChineseLanguage, BodyOfWater and "水体"
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11424-11424 termFormat ChineseTraditionalLanguage, BodyOfWater and "水體"
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11423-11423 termFormat EnglishLanguage, BodyOfWater and "body of water"

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 5338-5347
(=>
    (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 ?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 18742-18771
(=>
    (instance ?S Seafood)
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?S ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))		 Food.kif 322-329
(=>
    (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


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