Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
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 を包含する。 注1:Region は、唯一の Object の種類で、それ 自体で位置付けできる。注2: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 10232-10232 地区 详尽无遗地 partition地理区域空间区域
(subclass Region Object) Merge.kif 1246-1246 地区客体subclass

appearance as argument number 2
-------------------------


(range FlowRegionFn Region) Geography.kif 4996-4996 流动区域range地区 的实例
(range InnerBoundaryFn Region) Geography.kif 792-792 内部边界range地区 的实例
(range LatitudeFn Region) Geography.kif 410-410 纬度range地区 的实例
(range OuterBoundaryFn Region) Geography.kif 804-804 外边界range地区 的实例
(range WhereFn Region) Merge.kif 4237-4237 表示位置的函数range地区 的实例
(subclass AirportStagingArea Region) Transportation.kif 1307-1307 AirportStagingArea地区subclass
(subclass AssemblyStation Region) Economy.kif 2113-2113 AssemblyStation地区subclass
(subclass Atmosphere Region) Weather.kif 10-10 大气层地区subclass
(subclass DiningArea Region) Mid-level-ontology.kif 16939-16939 DiningArea地区subclass
(subclass EducationalCampus Region) Mid-level-ontology.kif 7733-7733 EducationalCampus地区subclass
(subclass Facility Region) Mid-level-ontology.kif 7693-7693 Facility地区subclass
(subclass FlowRegion Region) Mid-level-ontology.kif 10249-10249 流动区域地区subclass
(subclass GeographicArea Region) Merge.kif 14169-14169 地理区域地区subclass
(subclass HoleRegion Region) Merge.kif 9974-9974 地区subclass
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 551-551 亲水侧地区subclass
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 540-540 疏水面地区subclass
(subclass Indoors Region) Mid-level-ontology.kif 10347-10347 在室内地区subclass
(subclass KitchenArea Region) Mid-level-ontology.kif 16914-16914 KitchenArea地区subclass
(subclass Latitude Region) Geography.kif 302-302 纬度地区subclass
(subclass LineInSpace Region) Mid-level-ontology.kif 27273-27273 LineInSpace地区subclass
(subclass Longitude Region) Geography.kif 311-311 经度地区subclass
(subclass MagneticField Region) Mid-level-ontology.kif 17159-17159 MagneticField地区subclass
(subclass MilitaryBase Region) MilitaryProcesses.kif 2743-2743 MilitaryBase地区subclass
(subclass MultimodalTransitPoint Region) Transportation.kif 3689-3689 MultimodalTransitPoint地区subclass
(subclass Outdoors Region) Mid-level-ontology.kif 10335-10335 在户外地区subclass

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 内部边界 的 1 数量 是 地区instance
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 776-776 海上主张领海 的 1 数量 是 地区instance
(domain MarketInRegionFn 1 Region) Economy.kif 6726-6726 MarketInRegionFn 的 1 数量 是 地区instance
(domain MarketOfItemInRegionFn 2 Region) Economy.kif 6742-6742 MarketOfItemInRegionFn 的 2 数量 是 地区instance
(domain MealAttributeFn 2 Region) Food.kif 1905-1905 MealAttributeFn 的 2 数量 是 地区instance
(domain OuterBoundaryFn 1 Region) Geography.kif 803-803 外边界 的 1 数量 是 地区instance
(domain PerimeterAreaFn 1 Region) Geography.kif 764-764 周边区域 的 1 数量 是 地区instance
(domain VelocityFn 3 Region) Merge.kif 6680-6680 速度函数 的 3 数量 是 地区instance
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 经营范围 的 1 数量 是 地区instance
(domain baptizedplace 2 Region) Biography.kif 194-194 baptizedplace 的 2 数量 是 地区instance
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 26244-26244 canonicalPlaceName 的 1 数量 是 地区instance
(domain capableAtLocation 4 Region) Transportation.kif 3221-3221 能够在位置 的 4 数量 是 地区instance
(domain capacityByArrangement 1 Region) Hotel.kif 790-790 capacityByArrangement 的 1 数量 是 地区instance
(domain cloudCoverFraction 1 Region) Weather.kif 1105-1105 云覆盖部分 的 1 数量 是 地区instance
(domain daylightHoursInterval 1 Region) Weather.kif 1085-1085 白天小时间隔 的 1 数量 是 地区instance
(domain daylightHoursTotal 1 Region) Weather.kif 1095-1095 白天的总时数 的 1 数量 是 地区instance
(domain entrance 1 Region) Mid-level-ontology.kif 7847-7847 entrance 的 1 数量 是 地区instance
(domain entrance 2 Region) Mid-level-ontology.kif 7848-7848 entrance 的 2 数量 是 地区instance
(domain highTide 1 Region) Geography.kif 5080-5080 highTide 的 1 数量 是 地区instance
(domain lowTide 1 Region) Geography.kif 5089-5089 lowTide 的 1 数量 是 地区instance
(domain mapOfArea 1 Region) Geography.kif 527-527 地区地图 的 1 数量 是 地区instance
(domain providesDestination 2 Region) Transportation.kif 4537-4537 providesDestination 的 2 数量 是 地区instance
(domain routeBetween 2 Region) Transportation.kif 3638-3638 之间的路线 的 2 数量 是 地区instance
(domain routeBetween 3 Region) Transportation.kif 3639-3639 之间的路线 的 3 数量 是 地区instance
(domain routeEnd 1 Region) Transportation.kif 3375-3375 routeEnd 的 1 数量 是 地区instance

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 3069-3079 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))
Mid-level-ontology.kif 32014-32021
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 31998-32006
(=>
    (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
        (equal ?PLANE
            (LevelPlaneFn ?P ?A))
        (part ?P ?R)
        (instance ?R Region)
        (located ?R ?A))
    (exists (?L)
        (and
            (instance ?L LineInSpace)
            (endPointsOfLineInSpace ?P
                (CenterOfPlanetFn ?A) ?L)
            (orientation ?PLANE ?L RightAngle))))
Mid-level-ontology.kif 27431-27443
(=>
    (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 3139-3160
(=>
    (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 2860-2871
(=>
    (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 31924-31954
(=>
    (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 18598-18611
(=>
    (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 18617-18630
(=>
    (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 1344-1358
(=>
    (instance ?R PositionReport)
    (containsFormula ?R
        (exists (?O ?A)
            (and
                (instance ?O Object)
                (instance ?A Region)
                (located ?O
                    (WhenFn
                        (?R)) ?A)))))
Mid-level-ontology.kif 7723-7731
(=>
    (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 3255-3269
(=>
    (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 3306-3319
(=>
    (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 10321-10323
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 10317-10319
(=>
    (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


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