TreeView Knowledge Base Browser

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 4494-4496
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4492-4492	BodyOfWater ist eine teilkategorie von SelfConnectedObject
(subclass BodyOfWater WaterArea)	Geography.kif 4491-4491	BodyOfWater ist eine teilkategorie von WaterArea

appearance as argument number 2

(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4540-4540	NorthAtlanticOcean ist ein fall von BodyOfWater %n{nicht}
(instance NorthPacificOcean BodyOfWater)	Geography.kif 4572-4572	NorthPacificOcean ist ein fall von BodyOfWater %n{nicht}
(instance NortheasternPacificOcean BodyOfWater)	Geography.kif 4586-4586	NortheasternPacificOcean ist ein fall von BodyOfWater %n{nicht}
(instance NorthwesternPacificOcean BodyOfWater)	Geography.kif 4599-4599	NorthwesternPacificOcean ist ein fall von BodyOfWater %n{nicht}
(instance SouthAtlanticOcean BodyOfWater)	Geography.kif 4553-4553	SouthAtlanticOcean ist ein fall von BodyOfWater %n{nicht}
(instance SouthPacificOcean BodyOfWater)	Geography.kif 4612-4612	SouthPacificOcean ist ein fall von BodyOfWater %n{nicht}
(instance WorldOcean BodyOfWater)	Geography.kif 4499-4499	WorldOcean ist ein fall von BodyOfWater %n{nicht}
(subclass Channel BodyOfWater)	Geography.kif 5316-5316	Channel ist eine teilkategorie von BodyOfWater
(subclass Creek BodyOfWater)	Geography.kif 5672-5672	Creek ist eine teilkategorie von BodyOfWater
(subclass Estuary BodyOfWater)	Geography.kif 5179-5179	Estuary ist eine teilkategorie von BodyOfWater
(subclass Gulf BodyOfWater)	Geography.kif 5122-5122	Gulf ist eine teilkategorie von BodyOfWater
(subclass Inlet BodyOfWater)	Geography.kif 5218-5218	Inlet ist eine teilkategorie von BodyOfWater
(subclass LandlockedWater BodyOfWater)	Geography.kif 5078-5078	LandlockedWater ist eine teilkategorie von BodyOfWater
(subclass Ocean BodyOfWater)	Geography.kif 4513-4513	Ocean ist eine teilkategorie von BodyOfWater
(subclass River BodyOfWater)	Geography.kif 5474-5474	River ist eine teilkategorie von BodyOfWater
(subclass Sea BodyOfWater)	Geography.kif 4758-4758	Sea ist eine teilkategorie von BodyOfWater
(subclass Sound BodyOfWater)	Geography.kif 5278-5278	Sound ist eine teilkategorie von BodyOfWater
(subclass Strait BodyOfWater)	Geography.kif 5292-5292	Strait ist eine teilkategorie von BodyOfWater
(termFormat ChineseLanguage BodyOfWater "水体")	domainEnglishFormat.kif 11483-11483
(termFormat ChineseTraditionalLanguage BodyOfWater "水體")	domainEnglishFormat.kif 11482-11482
(termFormat EnglishLanguage BodyOfWater "body of water")	domainEnglishFormat.kif 11481-11481

antecedent

(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5330-5335	Wenn Object ist ein fall von Channel %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object wird an Object angeschlossen, dann Object ist groesser als ** Object
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5661-5670	Wenn River ist ein fall von River %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und flows River and Object, dann es gibt WaterArea um WaterArea ist ein fall von RiverMouth %n{nicht} und streamOutfall WaterArea and River und WaterArea wird an ** Object angeschlossen
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 4523-4528	Wenn Object ist ein fall von BodyOfWater %n{nicht} und Object ist ein fall von Ocean nicht und Object ist ein fall von Ocean %n{nicht}, dann Object ist groesser als ** Object
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 5305-5310	Wenn Object ist ein fall von BodyOfWater %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object schleisst Object und Object an, dann Object ist groesser als Object

consequent

(=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA))))	Food.kif 1928-1937	Wenn Entity ist ein fall von Meat %n{nicht} und Meat ist eine teilkategorie von Seafood, dann es gibt Organism, EntityEA, and und Animal um meatOfAnimal Meat and Animal und Organism ist ein fall von Animal %n{nicht} und EntityEA ist ein fall von BodyOfWater %n{nicht} und Organism wohnt in ** EntityEA
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (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 21174-21204	Wenn Proposition ist ein fall von Argument %n{nicht} und Process ist ein fall von Reasoning %n{nicht} und Proposition ist ein fall von Archeology %n{nicht} und Proposition ist eine teilangelegenheit von Proposition %n{nicht} und Process druekt den Inhalt von Proposition aus, dann es gibt Process, entity,, , Physical,, , RealNumber,, , entity, and und entity um Process ist ein fall von Discovering %n{nicht} und Physical ist ein fall von Object %n{nicht} und Physical ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Process und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht} und das alter von Physical ist RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAls 50 %n{nicht} und entity ist eine flaeche von entity %n{nicht} und entity ist ein fall von BodyOfWater %n{nicht} und Physical ist Below hinsichlich entity %n{nicht} oder entity ist eine flaeche von entity %n{nicht} und entity ist ein fall von LandArea %n{nicht} und Physical ist Below hinsichlich entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4742-4749	Wenn Object ist ein fall von Iceberg %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Ice %n{nicht} und most Object and Object und Object ist ein fall von BodyOfWater %n{nicht} und covers Object and ** Object
(=> (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) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2))))))	Weather.kif 1337-1357	Wenn Process ist ein fall von BreakingWave %n{nicht}, dann es gibt Process, Object,, , Entity, and und Transfer um Process ist ein fall von WaterWave %n{nicht} und Process ist ein subProzess von Process und Object ist ein fall von BodyOfWater %n{nicht} und Entity ist ein fall von BodyOfWater %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein patient von Process %n{nicht} und Transfer ist ein fall von Falling %n{nicht} und objectTransferred Transfer and Object und Object ist ein teil von Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Transfer %n{nicht} und Object ist ein teil von Entity nicht haelt waehrend das ende von die zeit des Bestehens von Transfer %n{nicht}
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5920-5927	Wenn Object ist ein fall von Shoal %n{nicht}, dann es gibt Object und Object um Object ist ein fall von LandForm %n{nicht} und most Object and Object und Object ist ein fall von BodyOfWater %n{nicht} und covers Object and ** Object
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER))))	Geography.kif 5415-5421	Wenn Physical ist ein fall von StreamWaterArea %n{nicht}, dann es gibt Physical um Physical ist ein fall von BodyOfWater %n{nicht} und Physical ist gleich Physical nicht und flows Physical and ** Physical
(=> (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 5348-5356	Wenn GeographicArea ist ein fall von InlandWaterSystem %n{nicht}, dann es gibt GeographicArea und GeographicArea um GeographicArea ist ein fall von BodyOfWater %n{nicht} und GeographicArea ist ein fall von BodyOfWater %n{nicht} und GeographicArea ist gleich GeographicArea nicht und geographicSubregion GeographicArea and GeographicArea und geographicSubregion GeographicArea and GeographicArea
(=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2))))	Geography.kif 5297-5303	Wenn Object ist ein fall von Strait %n{nicht}, dann es gibt Object und Object um Object ist ein fall von BodyOfWater %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object schleisst Object und ** Object an
(=> (waveHeight ?WW ?X) (exists (?WATER ?CREST ?TROUGH ?U) (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 0.0)))) (not (exists (?B ?BH) (and (part ?B ?WATER) (altitude ?TROUGH ?B (MeasureFn ?BH ?U)) (greaterThan ?BH 0.0)))))))	Weather.kif 1404-1424	Wenn waveHeight WaterWave and LengthMeasure, dann es gibt Object, Object,, , Object, and und UnitOfMeasure um Object ist ein fall von BodyOfWater %n{nicht} und eventLocated WaterWave and Object und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und der abstand zwischen Object und Object ist LengthMeasure und es gibt nicht Object und ObjectH um Object ist ein teil von Object %n{nicht} und das altitude von Object ist Object %n{nicht} und ObjectH ist groesserAls 0.0 %n{nicht} und es gibt nicht Object und ObjectH um Object ist ein teil von Object %n{nicht} und das altitude von Object ist Object %n{nicht} und ObjectH ist groesserAls 0.0 %n{nicht}

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

KB Term:			Term intersection

English Word: