TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Region ChineseLanguage "这是一个地理位置。 Region 包括 Object 的表面、虚构的地方和 GeographicArea 。注：Region 是唯一能够定位于作自身的 Object 。另外要注意的是 Region 不是 SelfConnectedObject 的子类别，因为有一些 Region ，像群岛有些 part 跟其他部分不 connected 。")	chinese_format.kif 1626-1629
(documentation Region EnglishLanguage "A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.")	Merge.kif 1253-1259
(documentation Region JapaneseLanguage "地理的な場所。 Regions は Object の表面、架空の場所、そして GeographicAreas を包含する。注１：Region は、唯一の Object の種類で、それ自体で位置付けできる。注２：Region は一部の Regions の理由で SelfConnectedObject のサブクラスでにはならない。例：群島など、相互に connected されてない parts。")	japanese_format.kif 208-211
(documentation Region SpanishLanguage "Un lugar topográfico. Region abarca los superficies de Objects, los lugares imaginarios y GeographicAreas. Note que una Region es el único tipo de Object en la que se puede ubicarse. También, no es una subclase de SelfConnectedObject desde que algunas Regions, como un archipiélago, tienen parts que no están connected con cada uno.")	spanish_format.kif 247-251
(partition Region GeographicArea SpaceRegion)	Mid-level-ontology.kif 9026-9026	Region wird vollstaendig in GeographicArea und SpaceRegion verteilt
(subclass Region Object)	Merge.kif 1251-1251	Region ist eine teilkategorie von Object

appearance as argument number 2

(range FlowRegionFn Region)	Geography.kif 4926-4926	bildbereich von FlowRegionFn ist ein fall von Region {nicht}
(range InnerBoundaryFn Region)	Geography.kif 797-797	bildbereich von InnerBoundaryFn ist ein fall von Region {nicht}
(range LatitudeFn Region)	Geography.kif 410-410	bildbereich von LatitudeFn ist ein fall von Region {nicht}
(range OuterBoundaryFn Region)	Geography.kif 809-809	bildbereich von OuterBoundaryFn ist ein fall von Region {nicht}
(range WhereFn Region)	Merge.kif 4224-4224	bildbereich von WoFn ist ein fall von Region {nicht}
(subclass Atmosphere Region)	Weather.kif 10-10	Atmosphere ist eine teilkategorie von Region
(subclass DiningArea Region)	Mid-level-ontology.kif 15566-15566	DiningArea ist eine teilkategorie von Region
(subclass FlowRegion Region)	Mid-level-ontology.kif 9043-9043	FlowRegion ist eine teilkategorie von Region
(subclass GeographicArea Region)	Merge.kif 14031-14031	GeographicArea ist eine teilkategorie von Region
(subclass HoleRegion Region)	Merge.kif 9851-9851	HoleRegion ist eine teilkategorie von Region
(subclass HydrophilicSide Region)	VirusProteinAndCellPart.kif 547-547	HydrophilicSide ist eine teilkategorie von Region
(subclass HydrophobicSide Region)	VirusProteinAndCellPart.kif 536-536	HydrophobicSide ist eine teilkategorie von Region
(subclass Indoors Region)	Mid-level-ontology.kif 9141-9141	Indoors ist eine teilkategorie von Region
(subclass KitchenArea Region)	Mid-level-ontology.kif 15541-15541	KitchenArea ist eine teilkategorie von Region
(subclass Latitude Region)	Geography.kif 302-302	Latitude ist eine teilkategorie von Region
(subclass Longitude Region)	Geography.kif 311-311	Longitude ist eine teilkategorie von Region
(subclass Outdoors Region)	Mid-level-ontology.kif 9129-9129	Outdoors ist eine teilkategorie von Region
(subclass ParkingRegion Region)	TransportDetail.kif 31-31	ParkingRegion ist eine teilkategorie von Region
(subclass Patio Region)	Mid-level-ontology.kif 26634-26634	Patio ist eine teilkategorie von Region
(subclass PerimeterArea Region)	Geography.kif 762-762	PerimeterArea ist eine teilkategorie von Region
(subclass PlayArea Region)	Dining.kif 982-982	PlayArea ist eine teilkategorie von Region
(subclass RealEstate Region)	FinancialOntology.kif 1354-1354	RealEstate ist eine teilkategorie von Region
(subclass Road Region)	Mid-level-ontology.kif 22217-22217	Road ist eine teilkategorie von Region
(subclass SittingArea Region)	Mid-level-ontology.kif 15528-15528	SittingArea ist eine teilkategorie von Region
(subclass SpaceRegion Region)	Mid-level-ontology.kif 9067-9067	SpaceRegion ist eine teilkategorie von Region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain InnerBoundaryFn 1 Region)	Geography.kif 796-796	Die Zahl 1 Argument von InnerBoundaryFn ist ein fall von Region %n{nicht}
(domain MaritimeClaimsTerritorialSeaFn 1 Region)	Geography.kif 781-781	Die Zahl 1 Argument von MaritimeClaimsTerritorialSeaFn ist ein fall von Region %n{nicht}
(domain MealAttributeFn 2 Region)	Food.kif 1899-1899	Die Zahl 2 Argument von MealAttributeFn ist ein fall von Region %n{nicht}
(domain OuterBoundaryFn 1 Region)	Geography.kif 808-808	Die Zahl 1 Argument von OuterBoundaryFn ist ein fall von Region %n{nicht}
(domain PerimeterAreaFn 1 Region)	Geography.kif 769-769	Die Zahl 1 Argument von PerimeterAreaFn ist ein fall von Region %n{nicht}
(domain VelocityFn 3 Region)	Merge.kif 6670-6670	Die Zahl 3 Argument von VelocityFn ist ein fall von Region %n{nicht}
(domain areaOfOperation 1 Region)	MilitaryProcesses.kif 1314-1314	Die Zahl 1 Argument von areaOfOperation ist ein fall von Region %n{nicht}
(domain baptizedplace 2 Region)	Biography.kif 189-189	Die Zahl 2 Argument von baptizedplace ist ein fall von Region %n{nicht}
(domain canonicalPlaceName 1 Region)	Mid-level-ontology.kif 24580-24580	Die Zahl 1 Argument von canonicalPlaceName ist ein fall von Region %n{nicht}
(domain capableAtLocation 4 Region)	Transportation.kif 2690-2690	Die Zahl 4 Argument von capableAtLocation ist ein fall von Region %n{nicht}
(domain capacityByArrangement 1 Region)	Hotel.kif 786-786	Die Zahl 1 Argument von capacityByArrangement ist ein fall von Region %n{nicht}
(domain cloudCoverFraction 1 Region)	Weather.kif 870-870	Die Zahl 1 Argument von cloudCoverFraction ist ein fall von Region %n{nicht}
(domain daylightHoursInterval 1 Region)	Weather.kif 850-850	Die Zahl 1 Argument von daylightHoursInterval ist ein fall von Region %n{nicht}
(domain daylightHoursTotal 1 Region)	Weather.kif 860-860	Die Zahl 1 Argument von daylightHoursTotal ist ein fall von Region %n{nicht}
(domain highTide 1 Region)	Geography.kif 5010-5010	Die Zahl 1 Argument von highTide ist ein fall von Region %n{nicht}
(domain lowTide 1 Region)	Geography.kif 5019-5019	Die Zahl 1 Argument von lowTide ist ein fall von Region %n{nicht}
(domain mapOfArea 1 Region)	Geography.kif 527-527	Die Zahl 1 Argument von mapOfArea ist ein fall von Region %n{nicht}
(domain providesDestination 2 Region)	Transportation.kif 3396-3396	Die Zahl 2 Argument von providesDestination ist ein fall von Region %n{nicht}
(domain routeBetween 2 Region)	Transportation.kif 2904-2904	Die Zahl 2 Argument von routeBetween ist ein fall von Region %n{nicht}
(domain routeBetween 3 Region)	Transportation.kif 2905-2905	Die Zahl 3 Argument von routeBetween ist ein fall von Region %n{nicht}
(domain routeEnd 1 Region)	Transportation.kif 2777-2777	Die Zahl 1 Argument von routeEnd ist ein fall von Region %n{nicht}
(domain routeStart 1 Region)	Transportation.kif 2754-2754	Die Zahl 1 Argument von routeStart ist ein fall von Region %n{nicht}
(domain totalArea 1 Region)	Mid-level-ontology.kif 31194-31194	Die Zahl 1 Argument von totalArea ist ein fall von Region %n{nicht}
(domain visibilityInMeteorology 1 Region)	Weather.kif 2702-2702	Die Zahl 1 Argument von visibilityInMeteorology ist ein fall von Region %n{nicht}

antecedent

(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury)))))	Weather.kif 2680-2690	Entity ist ein fall von Region %n{nicht} und Entity hat ein attribut StandardAmbientTemperaturePressure %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn airTemperature Entity and 298.15 KelvinDegree(s) und barometricPressure Entity and 29.530 InchMercury(s) haelt waehrend TimePosition %n{nicht}
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 30120-30127	Wenn Inhabited ist ein attribut von Object %n{nicht} und Object ist ein fall von Region %n{nicht}, dann es gibt Organism um Organism ist ein fall von Human %n{nicht} und Organism wohnt in Object
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 30104-30112	Wenn Uninhabited ist ein attribut von Object %n{nicht} und Object ist ein fall von Region %n{nicht}, dann es gibt nicht Organism um Organism ist ein fall von Human %n{nicht} und Organism wohnt in Object
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0))	Geography.kif 427-431	Wenn LatitudeFn DirectionalAttribute and @ROW ist ein fall von Region %n{nicht} und 1te mitglied von (@ROW) ist gleich RealNumber AngularDegree(s) %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 90.0 %n{nicht}
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0))	Geography.kif 467-474	Wenn LongitudeFn DirectionalAttribute and @ROW ist ein fall von Region %n{nicht} und 1te mitglied von (@ROW) ist gleich RealNumber AngularDegree(s) %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 180.0 %n{nicht}
(=> (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)) (attribute ?REGION Illuminated))	Merge.kif 13655-13660	Wenn Process ist ein fall von RadiatingLight %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Region %n{nicht}, dann Illuminated ist ein attribut von ** Object %n{nicht}
(=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP))	MilitaryProcesses.kif 1326-1331	Wenn MilitaryOperation ist ein fall von MilitaryOperation %n{nicht} und eventLocated MilitaryOperation and Region und Region ist ein fall von Region %n{nicht}, dann areaOfOperation Region and MilitaryOperation
(=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X)))))	Cars.kif 368-376	Wenn Object ist ein fall von Region %n{nicht} und Vacuum ist ein attribut von Object %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Object %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO))	Geography.kif 3496-3501	Wenn Object deckt sich mit Object raeumlich %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht, dann ** Object befindet sich teils an %n{nicht}
(=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000.0 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2))))	Weather.kif 2750-2771	Wenn visibilityInMeteorology Region, TimeInterval and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfMeasure %n{nicht} und TimeInterval ist ein fall von NightTime %n{nicht} und Process ist ein fall von Looking %n{nicht} und Object ist ein fall von Region %n{nicht} und Illuminated ist ein attribut von Object %n{nicht} und das mass von Object ist 1000.0 Candela(s) %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und AutonomousAgent ist Horizontal hinsichlich Object %n{nicht} und eventLocated Process and Region und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Object ist ein fall von Object %n{nicht}, dann es gibt RealNumber um der abstand zwischen AutonomousAgent und Object ist RealNumber UnitOfMeasure(s) und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	Wenn LatitudeFn DirectionalAttribute and @ROW ist ein fall von Region %n{nicht}, dann DirectionalAttribute ist gleich North %n{nicht} oder DirectionalAttribute ist gleich South %n{nicht}
(=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West)))	Geography.kif 461-465	Wenn LongitudeFn DirectionalAttribute and @ROW ist ein fall von Region %n{nicht}, dann DirectionalAttribute ist gleich East %n{nicht} oder DirectionalAttribute ist gleich West %n{nicht}
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 803-805	Wenn Region ist ein fall von Region %n{nicht}, dann InnerBoundaryFn Region ist ein oberflaechliches teil von Region %n{nicht}
(=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION))	Geography.kif 815-817	Wenn Region ist ein fall von Region %n{nicht}, dann OuterBoundaryFn Region ist ein oberflaechliches teil von Region %n{nicht}

consequent

(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 2471-2482	Wenn TimeInterval ist ein fall von Drought %n{nicht} und eventLocated TimeInterval and Object, dann es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von Raining %n{nicht} und Object ist ein fall von Region %n{nicht} und eventLocated TimeInterval and Object und Object deckt sich mit Object raeumlich %n{nicht} und TimeInterval deckt sich mit ** TimeInterval %n{nicht}
(=> (and (instance ?LOCATING Locating) (patient ?LOCATING ?THING) (agent ?LOCATING ?AGENT)) (hasPurpose ?LOCATING (exists (?LOCATION) (and (instance ?LOCATION Region) (knows ?AGENT (located ?THING ?LOCATION))))))	MilitaryProcesses.kif 577-587	Wenn Process ist ein fall von Locating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process hat Zweck von es gibt entity um entity ist ein fall von Region %n{nicht} und AutonomousAgent kennt Entity befindet sich an %n{nicht} %n{nicht} %n{nicht}
(=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2))))	Merge.kif 11558-11567	Wenn Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht}, dann es gibt Object und Process um Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Process ist ein subProzess von Process und ** Process befindet sich an %n{nicht}
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30030-30060	Wenn Process ist ein fall von BreakingRecord %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Set, Class,, , Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Class ist eine teilkategorie von Process und Object ist ein fall von Region %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und Entity ist ein fall von Quantity %n{nicht} und Process ist ein fall von Class %n{nicht} und Process umfasst einen hinweis auf Entity und Entity umfasst einen hinweis auf Process und playsRoleInEvent AutonomousAgent, CaseRole and Process und eventLocated Process and Object und es gibt nicht Entity und Entity um Entity ist ein fall von Set %n{nicht} und Entity ist gleich AutonomousAgent nicht und Entity ist ein fall von Class %n{nicht} und playsRoleInEvent Entity, CaseRole and Entity und eventLocated Entity and Object haelt waehrend abstand zwischen TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))))	Merge.kif 13662-13668	Wenn Illuminated ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingLight %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Region %n{nicht}
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	Wenn OpenLayout ist ein attribut von Object %n{nicht}, dann Object ist ein fall von Room %n{nicht} und es gibt Object, Object, and und Object um Object ist ein fall von Region %n{nicht} und Object ist ein fall von Region %n{nicht} und Object befindet sich an %n{nicht} und Object befindet sich an %n{nicht} und Object ist gleich Object nicht und Object ist Adjacent hinsichlich Object %n{nicht} und es gibt Formula und Formula um Formula ist ein fall von Process %n{nicht} und Formula ist ein fall von Process %n{nicht} und Object hat Zweck von Formula %n{nicht} und Object hat Zweck von Formula %n{nicht} und wenn Object ist ein fall von AutonomousAgent %n{nicht} und Object befindet sich an %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle agent Seeing zu tun und ** Object ist faehig %n{nicht}, in der Rolle patient Seeing zu tun
(=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR))))	Hotel.kif 1057-1065	Wenn DownAndInRoom ist ein attribut von Object %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Indoors %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist Adjacent hinsichlich Object %n{nicht} und Object ist Outside hinsichlich Object %n{nicht} und Object befindet sich an %n{nicht}
(=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR))))	Hotel.kif 1072-1080	Wenn DownAndOutRoom ist ein attribut von Object %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Outdoors %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist Adjacent hinsichlich Object %n{nicht} und Object ist Outside hinsichlich Object %n{nicht} und Object befindet sich an %n{nicht}
(=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2))))	Cars.kif 383-396	Wenn PartialVacuum ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1))))	Cars.kif 403-416	Wenn Pressurized ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (instance ?CTRL TemperatureControl) (exists (?DEVICE ?TEMP) (and (instance ?DEVICE ElectricDevice) (part ?CTRL ?DEVICE) (hasPurpose ?DEVICE (exists (?PROC ?AREA) (and (instance ?AREA Region) (instance ?PROC Process) (instrument ?PROC ?CTRL) (result ?PROC (airTemperature ?AREA ?TEMP))))))))	engineering.kif 1139-1151	Wenn Object ist ein fall von TemperatureControl %n{nicht}, dann es gibt Object und entity um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein teil von Object %n{nicht} und Object hat Zweck von es gibt entity und entity um entity ist ein fall von Region %n{nicht} und entity ist ein fall von Process %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und airTemperature entity and entity ist ein resultat von entity %n{nicht} %n{nicht}
(=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA ?NUM) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10.0) (greaterThan 50.0 ?NUM)))))	Weather.kif 1109-1123	Wenn Physical ist ein fall von HeavyRaining %n{nicht}, dann es gibt entity und entity um entity ist ein fall von Region %n{nicht} und eventLocated Physical and entity und rainfallIntensity entity, die zeit des Bestehens von Physical and PerFn entity Millimeter(s) and 1 HourDuration(s) und entity ist groesserAls 10.0 %n{nicht} und 50.0 ist groesserAls entity %n{nicht} haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}
(=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2)))))))	Weather.kif 2865-2879	Wenn Physical ist ein fall von RainShowering %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von Raining %n{nicht} und entity ist ein fall von Raining %n{nicht} und entity ist ein fall von Region %n{nicht} und entity ist ein subProzess von Physical und entity ist ein subProzess von Physical und eventLocated entity and entity und eventLocated entity and entity und die zeit des Bestehens von entity deckt sich mit die zeit des Bestehens von entity nicht haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?LOW ?AREA ?AIR ?RISE) (and (instance ?LOW LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?LOW ?AREA) (instance ?AIR Air) (instance ?RISE MotionUpward) (patient ?RISE ?AIR) (eventLocated ?RISE ?AREA) (subProcess ?RISE ?LOW)))))	Weather.kif 2916-2929	Wenn Physical ist ein fall von Storm %n{nicht}, dann es gibt entity, entity,, , entity, and und entity um entity ist ein fall von LowPressureWeatherSystem %n{nicht} und entity ist ein fall von Region %n{nicht} und eventLocated entity and entity und entity ist ein fall von Air %n{nicht} und entity ist ein fall von MotionUpward %n{nicht} und entity ist ein patient von entity %n{nicht} und eventLocated entity and entity und entity ist ein subProzess von entity haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}
(=> (orientation ?OBJ ?REGION Inside) (instance ?REGION Region))	Mid-level-ontology.kif 9115-9117	Wenn Object ist Inside hinsichlich Object %n{nicht}, dann ** Object ist ein fall von Region %n{nicht}
(=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region))	Mid-level-ontology.kif 9111-9113	Wenn Object ist Outside hinsichlich Object %n{nicht}, dann ** Object ist ein fall von Region %n{nicht}
(=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR))))	Weather.kif 178-186	Wenn surfaceWindDirection Object and DirectionalAttribute, dann es gibt Process und Object um Process ist ein fall von Wind %n{nicht} und Object ist ein fall von Region %n{nicht} und eventPartlyLocated Process and Object und Process beginnet an Object %n{nicht} und Object ist DirectionalAttribute hinsichlich ** Object %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: