| Region | |
| 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 1248-1254 | |
| (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 10250-10250 | |
| (subclass Region Object) | Merge.kif 1246-1246 |
| appearance as argument number 2 |
|
|
| (range FlowRegionFn Region) | Geography.kif 4996-4996 | |
| (range InnerBoundaryFn Region) | Geography.kif 792-792 | |
| (range LatitudeFn Region) | Geography.kif 410-410 | |
| (range OuterBoundaryFn Region) | Geography.kif 804-804 | |
| (range WhereFn Region) | Merge.kif 4237-4237 | |
| (subclass AirportStagingArea Region) | Transportation.kif 1307-1307 | |
| (subclass AssemblyStation Region) | Economy.kif 2113-2113 | |
| (subclass Atmosphere Region) | Weather.kif 10-10 | |
| (subclass DiningArea Region) | Mid-level-ontology.kif 16957-16957 | |
| (subclass EducationalCampus Region) | Mid-level-ontology.kif 7752-7752 | |
| (subclass Facility Region) | Mid-level-ontology.kif 7712-7712 | |
| (subclass FlowRegion Region) | Mid-level-ontology.kif 10267-10267 | |
| (subclass GeographicArea Region) | Merge.kif 14169-14169 | |
| (subclass HoleRegion Region) | Merge.kif 9974-9974 | |
| (subclass HydrophilicSide Region) | VirusProteinAndCellPart.kif 551-551 | |
| (subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 540-540 | |
| (subclass Indoors Region) | Mid-level-ontology.kif 10365-10365 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 16932-16932 | |
| (subclass Latitude Region) | Geography.kif 302-302 | |
| (subclass Longitude Region) | Geography.kif 311-311 | |
| (subclass MagneticField Region) | Mid-level-ontology.kif 17177-17177 | |
| (subclass MilitaryBase Region) | MilitaryProcesses.kif 2743-2743 | |
| (subclass MultimodalTransitPoint Region) | Transportation.kif 3689-3689 | |
| (subclass Outdoors Region) | Mid-level-ontology.kif 10353-10353 | |
| (subclass ParkingRegion Region) | TransportDetail.kif 31-31 | |
| 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 791-791 | |
| (domain MaritimeClaimsTerritorialSeaFn 1 Region) | Geography.kif 776-776 | |
| (domain MarketInRegionFn 1 Region) | Economy.kif 6726-6726 | |
| (domain MarketOfItemInRegionFn 2 Region) | Economy.kif 6742-6742 | |
| (domain MealAttributeFn 2 Region) | Food.kif 1905-1905 | |
| (domain OuterBoundaryFn 1 Region) | Geography.kif 803-803 | |
| (domain PerimeterAreaFn 1 Region) | Geography.kif 764-764 | |
| (domain VelocityFn 3 Region) | Merge.kif 6680-6680 | |
| (domain areaOfOperation 1 Region) | MilitaryProcesses.kif 1314-1314 | |
| (domain baptizedplace 2 Region) | Biography.kif 194-194 | |
| (domain canonicalPlaceName 1 Region) | Mid-level-ontology.kif 26261-26261 | |
| (domain capableAtLocation 4 Region) | Transportation.kif 3221-3221 | |
| (domain capacityByArrangement 1 Region) | Hotel.kif 790-790 | |
| (domain cloudCoverFraction 1 Region) | Weather.kif 854-854 | |
| (domain daylightHoursInterval 1 Region) | Weather.kif 834-834 | |
| (domain daylightHoursTotal 1 Region) | Weather.kif 844-844 | |
| (domain entrance 1 Region) | Mid-level-ontology.kif 7866-7866 | |
| (domain entrance 2 Region) | Mid-level-ontology.kif 7867-7867 | |
| (domain highTide 1 Region) | Geography.kif 5080-5080 | |
| (domain lowTide 1 Region) | Geography.kif 5089-5089 | |
| (domain mapOfArea 1 Region) | Geography.kif 527-527 | |
| (domain providesDestination 2 Region) | Transportation.kif 4537-4537 | |
| (domain routeBetween 2 Region) | Transportation.kif 3638-3638 | |
| (domain routeBetween 3 Region) | Transportation.kif 3639-3639 | |
| (domain routeEnd 1 Region) | Transportation.kif 3375-3375 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 2662-2672 | |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 31771-31778 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 31755-31763 | |
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M)) |
Cars.kif 1541-1550 | |
| (=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 427-431 | |
| (=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 467-474 | |
| (=> (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)) (attribute ?REGION Illuminated)) |
Merge.kif 13794-13799 | |
| (=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic)) |
engineering.kif 1050-1057 | |
| (=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP)) |
MilitaryProcesses.kif 1326-1331 | |
| (=> (and (instance ?SYSTEM LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (lessThan ?AMOUNT 29.5))) |
Weather.kif 531-538 | |
| (=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X))))) |
Cars.kif 368-376 | |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3484-3489 | |
| (=> (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 2732-2753 | |
| (=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 | |
| (=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West))) |
Geography.kif 461-465 | |
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 798-800 | |
| (=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 810-812 |
| 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 2453-2464 | |
| (=> (and (instance ?LE LandMeanOfProduction) (attribute ?LEO ?LE)) (exists (?L ?EMS) (or (and (instance ?L Region) (part ?LEO ?L)) (and (instance ?EMS ElectromagenticSpectrum) (equal ?LEO ?EMS))))) |
Economy.kif 6140-6151 | |
| (=> (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 | |
| (=> (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 11693-11702 | |
| (=> (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 31681-31711 | |
| (=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)))) |
Merge.kif 13801-13807 | |
| (=> (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 | |
| (=> (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 1065-1073 | |
| (=> (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 1080-1088 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 1452-1464 | |
| (=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside))))) |
Mid-level-ontology.kif 18618-18631 | |
| (=> (instance ?E Exiting) (exists (?R ?A) (and (instance ?R Region) (origin ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Inside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Outside))))) |
Mid-level-ontology.kif 18637-18650 | |
| (=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 976-986 | |
| (=> (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 1093-1107 | |
| (=> (instance ?R PositionReport) (containsFormula ?R (exists (?O ?A) (and (instance ?O Object) (instance ?A Region) (located ?O (WhenFn (?R)) ?A))))) |
Mid-level-ontology.kif 7742-7750 | |
| (=> (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 2848-2862 | |
| (=> (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 2899-2912 | |
| (=> (instance ?T Telemetry) (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING) (and (instance ?MEASURING Measuring) (instance ?MEASURINGDEVICE MeasuringDevice) (instance ?REMOTELOCATION Region) (instance ?RECEIVINGLOCATION Region) (instance ?MESSAGING Messaging) (subProcess ?MESSAGING ?T) (subProcess ?MEASURING ?T) (instance ?RECEIVINGSTATION ElectronicDataStorageDevice) (agent ?MEASURING ?MEASURINGDEVICE) (located ?MEASURINGDEVICE ?REMOTELOCATION) (located ?RECEIVINGSTATION ?RECEIVINGLOCATION) (eventLocated ?MEASURING ?REMOTELOCATION) (not (equal ?RECEIVINGLOCATION ?REMOTELOCATION)) (origin ?MESSAGING ?MEASURINGDEVICE) (destination ?MESSAGING ?RECEIVINGSTATION)))) |
Communications.kif 316-334 | |
| (=> (orientation ?OBJ ?REGION Inside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10339-10341 | |
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10335-10337 | |
| (=> (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 166-174 |
|
|
|