WaterArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterArea ChineseLanguage "一处主要由水组成的地区，例如：河流、湖泊和海洋等等。")	chinese_format.kif 1448-1448
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.")	Merge.kif 14167-14168
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg")	pictureList.kif 8790-8790
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg")	pictureList.kif 9808-9808
(subclass WaterArea GeographicArea)	Merge.kif 14166-14166	WaterArea ist eine teilkategorie von GeographicArea

appearance as argument number 2

(partition GeographicArea WaterArea LandArea)	Merge.kif 14078-14078	GeographicArea wird vollstaendig in WaterArea und LandArea verteilt
(subclass Anchorage WaterArea)	Transportation.kif 921-921	Anchorage ist eine teilkategorie von WaterArea
(subclass BodyOfWater WaterArea)	Geography.kif 4491-4491	BodyOfWater ist eine teilkategorie von WaterArea
(subclass FreshWaterArea WaterArea)	Merge.kif 14184-14184	FreshWaterArea ist eine teilkategorie von WaterArea
(subclass Harbor WaterArea)	Transportation.kif 917-917	Harbor ist eine teilkategorie von WaterArea
(subclass HydropowerWaterArea WaterArea)	Geography.kif 2028-2028	HydropowerWaterArea ist eine teilkategorie von WaterArea
(subclass InlandWaterSystem WaterArea)	Geography.kif 5341-5341	InlandWaterSystem ist eine teilkategorie von WaterArea
(subclass RiverMouth WaterArea)	Geography.kif 5655-5655	RiverMouth ist eine teilkategorie von WaterArea
(subclass RiverSystem WaterArea)	Geography.kif 5509-5509	RiverSystem ist eine teilkategorie von WaterArea
(subclass SaltWaterArea WaterArea)	Merge.kif 14179-14179	SaltWaterArea ist eine teilkategorie von WaterArea
(subclass ShipBerth WaterArea)	Transportation.kif 2988-2988	ShipBerth ist eine teilkategorie von WaterArea
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 9066-9066	StaticWaterArea ist eine teilkategorie von WaterArea
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 9059-9059	StreamWaterArea ist eine teilkategorie von WaterArea
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5484-5484	StreamWaterConfluence ist eine teilkategorie von WaterArea
(subclass SurfZone WaterArea)	Weather.kif 1362-1362	SurfZone ist eine teilkategorie von WaterArea
(subclass WaterCurrent WaterArea)	Geography.kif 4932-4932	WaterCurrent ist eine teilkategorie von WaterArea
(subclass Waterway WaterArea)	Geography.kif 5577-5577	Waterway ist eine teilkategorie von WaterArea
(termFormat ChineseLanguage WaterArea "水域")	chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area")	english_format.kif 1107-1107
(termFormat FrenchLanguage WaterArea "plan d'eau")	french_format.kif 626-626
(termFormat Hindi WaterArea "jala kshetra")	terms-hindi.txt 157-157
(termFormat ItalianLanguage WaterArea "SuperficieAcquatica")	terms-it.txt 160-160
(termFormat JapaneseLanguage WaterArea "水域")	japanese_format.kif 2311-2311
(termFormat PortugueseLanguage WaterArea "Area Aquatica")	portuguese_format.kif 578-578

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain ShorelineFn 2 WaterArea)	Geography.kif 6169-6169	Die Zahl 2 Argument von ShorelineFn ist ein fall von WaterArea %n{nicht}
(domain flowCurrent 2 WaterArea)	Geography.kif 5559-5559	Die Zahl 2 Argument von flowCurrent ist ein fall von WaterArea %n{nicht}
(domain navigableForDraft 1 WaterArea)	Transportation.kif 2679-2679	Die Zahl 1 Argument von navigableForDraft ist ein fall von WaterArea %n{nicht}
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 2662-2662	Die Zahl 1 Argument von navigableForShippingTonnage ist ein fall von WaterArea %n{nicht}
(domain seaSurfaceTemperature 1 WaterArea)	Weather.kif 959-959	Die Zahl 1 Argument von seaSurfaceTemperature ist ein fall von WaterArea %n{nicht}
(domain significantWaveHeight 1 WaterArea)	Weather.kif 1508-1508	Die Zahl 1 Argument von significantWaveHeight ist ein fall von WaterArea %n{nicht}
(domain streamOutfall 1 WaterArea)	Geography.kif 5687-5687	Die Zahl 1 Argument von streamOutfall ist ein fall von WaterArea %n{nicht}
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 17593-17593	Die Zahl 1 Argument von waterDepth ist ein fall von WaterArea %n{nicht}

antecedent

(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))	Geography.kif 6126-6131	Wenn Object ist ein fall von Seacoast %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object ist Adjacent hinsichlich Object %n{nicht}, dann Object ist ein fall von SaltWaterArea %n{nicht}
(=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above))	Geography.kif 5561-5570	Wenn WaterArea ist ein fall von Waterfall %n{nicht} und WaterMotion ist ein fall von WaterMotion %n{nicht} und flowCurrent WaterMotion and WaterArea und WaterMotion beginnet an Object %n{nicht} und WaterMotion endet an Object %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object ist ein fall von WaterArea %n{nicht}, dann Object ist Above hinsichlich ** Object %n{nicht}
(=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A)))))	Weather.kif 1562-1575	Wenn Process ist ein fall von HeavySurf %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und eventLocated Process and Object, dann es gibt Process und AutonomousAgent um Process ist ein fall von Swimming %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und eventLocated Process and Object und hazardous Process and AutonomousAgent haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER))))	Geography.kif 6152-6161	Wenn Object ist ein fall von ShoreArea %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object ist Adjacent hinsichlich Object %n{nicht}, dann es gibt Object um Object ist ein fall von Shoreline %n{nicht} und Object ist ein teil von Object %n{nicht} und Object schliesst Object raeumlich an
(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5380-5395	Wenn GeographicArea ist ein fall von InlandWaterSystem %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist gleich GeographicArea nicht und GeographicArea wird an GeographicArea nicht angeschlossen und geographicSubregion GeographicArea and GeographicArea und geographicSubregion GeographicArea and GeographicArea, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist gleich GeographicArea nicht und Object ist gleich GeographicArea nicht und Object ist ein teil von GeographicArea %n{nicht} und Object schleisst GeographicArea und GeographicArea an
(=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA))))	Merge.kif 14170-14177	Wenn Object ist ein fall von WaterArea %n{nicht}, dann es gibt Object, HoleRegion, and und Object um HoleHostFn HoleRegion ist gleich Object %n{nicht} und Object ist ein fall von Water %n{nicht} und Object fuellt HoleRegion richtig und die vereinigung von den teilen von Object und Object ist gleich ** Object %n{nicht}

consequent

(=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica))))	naics.kif 8120-8130	Wenn DeepSeaCoastalAndGreatLakesWaterTransportation ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgent ist ein fall von TransportationCompany %n{nicht}, dann es gibt ServiceProcess und Object um ServiceProcess ist ein fall von WaterTransportationService %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und eventLocated ServiceProcess and Object und Object ist ein fall von WaterArea %n{nicht} und CognitiveAgent befindet sich an %n{nicht}
(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	Wenn Process ist ein fall von AntiSurfaceOperation %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann Entity ist ein fall von WaterArea %n{nicht}
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3491-3499	Wenn Object ist ein fall von WaterVehicle %n{nicht} und Process ist ein fall von Transportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und eventLocated Process and Object
(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2))))	Geography.kif 5823-5837	Wenn SelfConnectedObject ist ein fall von Isthmus %n{nicht} und eine seite von SelfConnectedObject ist SelfConnectedObject und eine seite von SelfConnectedObject ist SelfConnectedObject und SelfConnectedObject ist gleich SelfConnectedObject nicht, dann es gibt Object, Object,, , Object, and und Object um Object ist ein fall von LandArea %n{nicht} und Object ist ein fall von LandArea %n{nicht} und SelfConnectedObject ist zwischen Object und Object %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und SelfConnectedObject schliesst Object raeumlich an und SelfConnectedObject schliesst Object raeumlich an
(=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA))))	Merge.kif 11208-11215	Wenn Process ist ein fall von Swimming %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und ** AutonomousAgent befindet sich an %n{nicht}
(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5380-5395	Wenn GeographicArea ist ein fall von InlandWaterSystem %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist gleich GeographicArea nicht und GeographicArea wird an GeographicArea nicht angeschlossen und geographicSubregion GeographicArea and GeographicArea und geographicSubregion GeographicArea and GeographicArea, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist gleich GeographicArea nicht und Object ist gleich GeographicArea nicht und Object ist ein teil von GeographicArea %n{nicht} und Object schleisst GeographicArea und GeographicArea an
(=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 1515-1530	Wenn WaterWave ist ein fall von WaterWave %n{nicht} und waveHeight WaterWave and LengthMeasure, dann es gibt List, WaterArea,, , UnitOfMeasure, and und RealNumber um LengthMeasure ist ein Mitglied von List und WaterArea ist ein fall von WaterArea %n{nicht} und eventLocated WaterWave and WaterArea und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und significantWaveHeight WaterArea, die zeit des Bestehens von WaterWave and RealNumber UnitOfMeasure(s) und RealNumber ist gleich 4.0 und StandardDeviationFn ** List %n{nicht}
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesFreightTransportation)) (exists (?FREIGHT ?SHIP ?WATER) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates))))	naics.kif 8184-8197	Wenn ServiceProcess ist ein fall von WaterTransportationService %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und CoastalAndGreatLakesFreightTransportation ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Process, Object, and und GeographicArea um Process ist ein subProzess von ServiceProcess und Process ist ein fall von WaterTransportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von CargoShip %n{nicht} und eventLocated Process and GeographicArea und GeographicArea ist ein fall von WaterArea %n{nicht} und geographicSubregion GeographicArea and UnitedStates
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesPassengerTransportation)) (exists (?CRUISE ?SHIP ?WATER) (and (subProcess ?CRUISE ?X) (instance ?CRUISE WaterTransportation) (instrument ?CRUISE ?SHIP) (instance ?SHIP PassengerShip) (eventLocated ?CRUISE ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates) (not (exists (?FERRY) (and (instance ?FERRY ShortSeaPassengerShip) (equal ?SHIP ?FERRY)))))))	naics.kif 8207-8225	Wenn ServiceProcess ist ein fall von WaterTransportationService %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und CoastalAndGreatLakesPassengerTransportation ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Process, Object, and und GeographicArea um Process ist ein subProzess von ServiceProcess und Process ist ein fall von WaterTransportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von PassengerShip %n{nicht} und eventLocated Process and GeographicArea und GeographicArea ist ein fall von WaterArea %n{nicht} und geographicSubregion GeographicArea and UnitedStates und es gibt nicht Entity um Entity ist ein fall von ShortSeaPassengerShip %n{nicht} und Object ist gleich ** Entity %n{nicht}
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2293-2298	Wenn TransportationDevice ist eine teilkategorie von WaterVehicle und Process ist ein fall von TransportationFn TransportationDevice %n{nicht} und eventLocated Process and Object, dann Object ist ein fall von WaterArea %n{nicht}
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER))))	Merge.kif 14220-14225	Wenn Object ist ein fall von ShoreArea %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5599-5605	Wenn Object ist ein fall von Canal %n{nicht}, dann es gibt Object und Object um Object ist ein fall von WaterArea %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object schleisst Object und ** Object an
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5322-5328	Wenn Object ist ein fall von Channel %n{nicht}, dann es gibt Object und Object um Object ist ein fall von WaterArea %n{nicht} und Object ist ein fall von WaterArea %n{nicht} und Object schleisst Object und ** Object an
(=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion))))	Geography.kif 5811-5816	Wenn Object ist ein fall von Cape %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object dringt Object ein
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER))))	Geography.kif 5617-5622	Wenn Object ist ein fall von Dam %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ueberquert Object
(=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA)))))	Geography.kif 571-577	Wenn Object ist ein fall von SurfaceGroundArea %n{nicht}, dann es gibt nicht Object um Object ist ein fall von WaterArea %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER))))	Geography.kif 5232-5237	Wenn Object ist ein fall von Inlet %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object wird an Object angeschlossen
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER))))	Merge.kif 14262-14267	Wenn Object ist ein fall von Island %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER))))	Geography.kif 5913-5918	Wenn Object ist ein fall von Shoal %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER))))	Geography.kif 6072-6079	Wenn Object ist ein fall von SubmergedLandArea %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist Below hinsichlich Object %n{nicht} und Object ist On hinsichlich Object %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE))))	Geography.kif 6138-6143	Wenn Object ist ein fall von Shoreline %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object schliesst Object raeumlich an
(=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W))))	Mid-level-ontology.kif 529-534	Wenn Process ist ein fall von Wading %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und eventLocated Process and ** Object
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water))))	Geography.kif 5800-5805	Wenn Object ist ein fall von Peninsula %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object dringt Object ein
(=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below))))	Mid-level-ontology.kif 17705-17710	Wenn Object ist ein fall von UnderwaterRegion %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist Below hinsichlich Object %n{nicht}
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5942-5947	Wenn Object ist ein fall von Reef %n{nicht}, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist Near hinsichlich Object %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: