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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyOfWater
BodyOfWater(body of water)

appearance as argument number 1
-------------------------


s__documentation(s__BodyOfWater,s__EnglishLanguage,'"A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders."')

Geography.kif 4309-4311
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__BodyOfWater,s__SelfConnectedObject)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Geography.kif 4307-4307 Body of water is a subclass of self connected object
s__subclass(s__BodyOfWater,s__WaterArea)

s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Geography.kif 4306-4306 Body of water is a subclass of water area

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


s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__NorthAtlanticOcean,s__BodyOfWater)

Geography.kif 4355-4355 North atlantic ocean is an instance of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__NorthPacificOcean,s__BodyOfWater)

Geography.kif 4387-4387 North pacific ocean is an instance of body of water
s__instance(s__NortheasternPacificOcean,s__BodyOfWater)

s__instance(s__BodyOfWater,s__SetOrClass)

Geography.kif 4401-4401 NortheasternPacificOcean is an instance of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__NorthwesternPacificOcean,s__BodyOfWater)

Geography.kif 4414-4414 NorthwesternPacificOcean is an instance of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__SouthAtlanticOcean,s__BodyOfWater)

Geography.kif 4368-4368 South atlantic ocean is an instance of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__SouthPacificOcean,s__BodyOfWater)

Geography.kif 4427-4427 South pacific ocean is an instance of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__WorldOcean,s__BodyOfWater)

Geography.kif 4314-4314 World ocean is an instance of body of water
s__subclass(s__Channel,s__BodyOfWater)

s__instance(s__Channel,s__SetOrClass)

s__instance(s__BodyOfWater,s__SetOrClass)

Geography.kif 5100-5100 Channel is a subclass of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Creek,s__BodyOfWater)

s__instance(s__Creek,s__SetOrClass)

Geography.kif 5454-5454 Creek is a subclass of body of water
s__instance(s__Estuary,s__SetOrClass)

s__subclass(s__Estuary,s__BodyOfWater)

s__instance(s__BodyOfWater,s__SetOrClass)

Geography.kif 4963-4963 Estuary is a subclass of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Gulf,s__BodyOfWater)

s__instance(s__Gulf,s__SetOrClass)

Geography.kif 4906-4906 Gulf is a subclass of body of water
s__subclass(s__Inlet,s__BodyOfWater)

s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__Inlet,s__SetOrClass)

Geography.kif 5002-5002 Inlet is a subclass of body of water
s__subclass(s__LandlockedWater,s__BodyOfWater)

s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__LandlockedWater,s__SetOrClass)

Geography.kif 4862-4862 Landlocked water is a subclass of body of water
s__instance(s__Ocean,s__SetOrClass)

s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Ocean,s__BodyOfWater)

Geography.kif 4328-4328 Ocean is a subclass of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__River,s__SetOrClass)

s__subclass(s__River,s__BodyOfWater)

Geography.kif 5257-5257 River is a subclass of body of water
s__instance(s__Sea,s__SetOrClass)

s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Sea,s__BodyOfWater)

Geography.kif 4549-4549 Sea is a subclass of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Sound,s__BodyOfWater)

s__instance(s__Sound,s__SetOrClass)

Geography.kif 5062-5062 Sound is a subclass of body of water
s__instance(s__BodyOfWater,s__SetOrClass)

s__subclass(s__Strait,s__BodyOfWater)

s__instance(s__Strait,s__SetOrClass)

Geography.kif 5076-5076 Strait is a subclass of body of water
s__termFormat(s__ChineseLanguage,s__BodyOfWater,'"水体"')

domainEnglishFormat.kif 11486-11486
s__termFormat(s__ChineseTraditionalLanguage,s__BodyOfWater,'"水體"')

domainEnglishFormat.kif 11485-11485
s__termFormat(s__EnglishLanguage,s__BodyOfWater,'"body of water"')

domainEnglishFormat.kif 11484-11484

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


( ! [V__CHANNEL,V__BODY] :
   (((s__instance(V__CHANNEL,s__Channel) &
         s__instance(V__BODY,s__BodyOfWater) &
         s__connected(V__CHANNEL,V__BODY))
     =>
     (s__larger(V__BODY,V__CHANNEL)))
)
)

Geography.kif 5114-5119
( ! [V__WATER,V__RIVER] :
   (((s__instance(V__RIVER,s__River) &
         s__instance(V__WATER,s__BodyOfWater) &
         s__flows(V__RIVER,V__WATER))
     =>
     (( ? [V__MOUTH] :
         ((s__instance(V__MOUTH,s__RiverMouth) &
             s__streamOutfall(V__MOUTH,V__RIVER)
           &
           s__connected(V__MOUTH,V__WATER))))))
)
)

Geography.kif 5443-5452
( ! [V__WATER,V__OCEAN] :
   (((s__instance(V__WATER,s__BodyOfWater) &
         ~(s__instance(V__WATER,s__Ocean))
         &
         s__instance(V__OCEAN,s__Ocean))
       =>
       (s__larger(V__OCEAN,V__WATER)))
   )
)

Geography.kif 4338-4343
( ! [V__strait,V__body1,V__body2] :
   ((s__instance(V__strait,s__Object) =>
       (((s__instance(V__body1,s__BodyOfWater) &
             s__instance(V__body2,s__BodyOfWater) &
             s__connects(V__strait,V__body1,V__body2))
         =>
         (s__larger(V__body1,V__strait)))))
)
)

Geography.kif 5089-5094

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


( ! [V__C,V__S,V__ANIMAL] :
   (((s__instance(V__C,s__Class) &
         s__subclass(V__C,s__OrganicObject) &
         s__instance(V__ANIMAL,s__Class) &
         s__subclass(V__ANIMAL,s__Animal))
       =>
       (((s__instance(V__S,V__C)
           &
           s__subclass(V__C,s__Seafood))
         =>
         (( ? [V__X, V__SEA] :
             ((s__instance(V__X,s__Organism) &
                 (s__meatOfAnimal(V__C,V__ANIMAL)
                 &
                 s__instance(V__X,V__ANIMAL)
               &
               s__instance(V__SEA,s__BodyOfWater) &
               s__inhabits(V__X,V__SEA)))))))))
)
)

Food.kif 274-283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19233-19262
( ! [V__BERG] :
   ((s__instance(V__BERG,s__Iceberg) =>
       (( ? [V__PART, V__WATER] :
           ((s__instance(V__PART,s__Ice) &
               s__most(V__PART,V__BERG)
             &
             s__instance(V__WATER,s__BodyOfWater) &
             s__covers(V__WATER,V__PART))))))
)
)

Geography.kif 4533-4540
No TPTP formula. May not be expressible in strict first order. Weather.kif 1351-1371
( ! [V__LAND] :
   ((s__instance(V__LAND,s__Shoal) =>
       (( ? [V__PART, V__WATER] :
           ((s__instance(V__PART,s__LandForm) &
               s__most(V__PART,V__LAND)
             &
             s__instance(V__WATER,s__BodyOfWater) &
             s__covers(V__WATER,V__PART))))))
)
)

Geography.kif 5702-5709
( ! [V__STREAM] :
   ((s__instance(V__STREAM,s__StreamWaterArea) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__BodyOfWater) &
               ~((V__WATER = V__STREAM))
               &
               s__flows(V__STREAM,V__WATER))))))
   )
)

Geography.kif 5199-5205
( ! [V__SYSTEM] :
   ((s__instance(V__SYSTEM,s__InlandWaterSystem) =>
       (( ? [V__BODY1, V__BODY2] :
           ((s__instance(V__BODY1,s__BodyOfWater) &
               s__instance(V__BODY2,s__BodyOfWater) &
               ~((V__BODY1 = V__BODY2))
               &
               s__geographicSubregion(V__BODY1,V__SYSTEM)
             &
             s__geographicSubregion(V__BODY2,V__SYSTEM))))))
)
)

Geography.kif 5132-5140
( ! [V__strait] :
   ((s__instance(V__strait,s__Strait) =>
       (( ? [V__body1, V__body2] :
           ((s__instance(V__body1,s__BodyOfWater) &
               s__instance(V__body2,s__BodyOfWater) &
               s__connects(V__strait,V__body1,V__body2))))))
   )
)

Geography.kif 5081-5087
( ! [V__U,V__X,V__WW] :
   (((s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__X,s__LengthMeasure) &
         s__instance(V__WW,s__WaterWave))
       =>
       ((s__waveHeight(V__WW,V__X)
         =>
         (( ? [V__WATER, V__CREST, V__TROUGH] :
             ((s__instance(V__CREST,s__Object) &
                 s__instance(V__TROUGH,s__Object) &
                 (s__instance(V__WATER,s__BodyOfWater) &
                   s__eventLocated(V__WW,V__WATER)
                 &
                 s__part(V__CREST,V__WATER)
               &
               s__part(V__TROUGH,V__WATER)
             &
             s__distance(V__CREST,V__TROUGH,V__X)
           &
           ~(( ? [V__A, V__AH] :
               ((s__instance(V__A,s__Object) &
                   s__instance(V__AH,s__RealNumber) &
                   (s__part(V__A,V__WATER)
                   &
                   s__altitude(V__A,V__CREST,s__MeasureFn(V__AH,V__U))
               &
               s__greaterThan(V__AH,n__0))))))
   &
   ~(( ? [V__B, V__BH] :
       ((s__instance(V__B,s__Object) &
           s__instance(V__BH,s__RealNumber) &
           (s__part(V__B,V__WATER)
           &
           s__altitude(V__TROUGH,V__B,s__MeasureFn(V__BH,V__U))
       &
       s__greaterThan(V__BH,n__0))))))))))))))
)
)

Weather.kif 1419-1439


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