BodyOfWater - Sigma Knowledge base Browser

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	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
( ! [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	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
( ! [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	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
( ! [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	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object

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	If an entity is an instance of a kind of organic object and a kind of organic object is a subclass of seafood, then there exist an organism and the entityEA such that the kind of organic object is the meat of a kind of animal and the organism is an instance of a kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19233-19262	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical and a real number such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of another entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
( ! [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	If an entity is an instance of iceberg, then there exist an object and another object such that the object is an instance of ice and the object is most of the entity and the other object is an instance of body of water and the other object covers the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1351-1371	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
( ! [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	If an entity is an instance of shoal, then there exist an object and another object such that the object is an instance of land form and the object is most of the entity and the other object is an instance of body of water and the other object covers the object
( ! [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	If a physical is an instance of stream water area, then there exists another physical such that the other physical is an instance of body of water and the other physical is not equal to the physical and the other physical is a flows of the physical
( ! [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	If a geographic area is an instance of inland water system, then there exist another geographic area and a third geographic area such that the other geographic area is an instance of body of water and the third geographic area is an instance of body of water and the other geographic area is not equal to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area
( ! [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	If an object is an instance of strait, then there exist another object and a third object such that the other object is an instance of body of water and the third object is an instance of body of water and the object connects the other object and the third object
( ! [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	If The waveHeight of a water wave a length measure., then there exist an object, another object and a third object such that the object is an instance of body of water and the water wave is located at 2 and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object is the other object and the fourth objectH is greater than 0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object is the fifth object and the fifth objectH is greater than 0

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

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

KB Term:			Term intersection

English Word: