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 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 9244-9244 地域 は 地理的地域 + SpaceRegion に exhaustively partitioned %n
(subclass Region Object) Merge.kif 1251-1251 地域 は オブジェクト の subclass では %n

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


(range FlowRegionFn Region) Geography.kif 4926-4926 FlowRegionFn の range は 地域 のインスタンス では %n
(range InnerBoundaryFn Region) Geography.kif 797-797 InnerBoundaryFn の range は 地域 のインスタンス では %n
(range LatitudeFn Region) Geography.kif 410-410 LatitudeFn の range は 地域 のインスタンス では %n
(range OuterBoundaryFn Region) Geography.kif 809-809 OuterBoundaryFn の range は 地域 のインスタンス では %n
(range WhereFn Region) Merge.kif 4225-4225 WhereFn の range は 地域 のインスタンス では %n
(subclass AirportStagingArea Region) Transportation.kif 1307-1307 AirportStagingArea は 地域 の subclass では %n
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere は 地域 の subclass では %n
(subclass DiningArea Region) Mid-level-ontology.kif 15784-15784 DiningArea は 地域 の subclass では %n
(subclass EducationalCampus Region) Mid-level-ontology.kif 6790-6790 EducationalCampus は 地域 の subclass では %n
(subclass Facility Region) Mid-level-ontology.kif 6750-6750 Facility は 地域 の subclass では %n
(subclass FlowRegion Region) Mid-level-ontology.kif 9261-9261 FlowRegion は 地域 の subclass では %n
(subclass GeographicArea Region) Merge.kif 14077-14077 地理的地域 は 地域 の subclass では %n
(subclass HoleRegion Region) Merge.kif 9887-9887 HoleRegion は 地域 の subclass では %n
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 546-546 HydrophilicSide は 地域 の subclass では %n
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 535-535 HydrophobicSide は 地域 の subclass では %n
(subclass Indoors Region) Mid-level-ontology.kif 9359-9359 Indoors は 地域 の subclass では %n
(subclass KitchenArea Region) Mid-level-ontology.kif 15759-15759 KitchenArea は 地域 の subclass では %n
(subclass Latitude Region) Geography.kif 302-302 Latitude は 地域 の subclass では %n
(subclass Longitude Region) Geography.kif 311-311 Longitude は 地域 の subclass では %n
(subclass MilitaryBase Region) MilitaryProcesses.kif 2760-2760 MilitaryBase は 地域 の subclass では %n
(subclass MultimodalTransitPoint Region) Transportation.kif 3643-3643 MultimodalTransitPoint は 地域 の subclass では %n
(subclass Outdoors Region) Mid-level-ontology.kif 9347-9347 Outdoors は 地域 の subclass では %n
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion は 地域 の subclass では %n
(subclass Patio Region) Mid-level-ontology.kif 26898-26898 Patio は 地域 の subclass では %n
(subclass PerimeterArea Region) Geography.kif 762-762 PerimeterArea は 地域 の subclass では %n

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 InnerBoundaryFn の数値 1 引数は 地域 の instance では %n
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 781-781 MaritimeClaimsTerritorialSeaFn の数値 1 引数は 地域 の instance では %n
(domain MealAttributeFn 2 Region) Food.kif 1899-1899 MealAttributeFn の数値 2 引数は 地域 の instance では %n
(domain OuterBoundaryFn 1 Region) Geography.kif 808-808 OuterBoundaryFn の数値 1 引数は 地域 の instance では %n
(domain PerimeterAreaFn 1 Region) Geography.kif 769-769 PerimeterAreaFn の数値 1 引数は 地域 の instance では %n
(domain VelocityFn 3 Region) Merge.kif 6671-6671 VelocityFn の数値 3 引数は 地域 の instance では %n
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 areaOfOperation の数値 1 引数は 地域 の instance では %n
(domain baptizedplace 2 Region) Biography.kif 189-189 baptizedplace の数値 2 引数は 地域 の instance では %n
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24868-24868 canonicalPlaceName の数値 1 引数は 地域 の instance では %n
(domain capableAtLocation 4 Region) Transportation.kif 3212-3212 capableAtLocation の数値 4 引数は 地域 の instance では %n
(domain capacityByArrangement 1 Region) Hotel.kif 786-786 capacityByArrangement の数値 1 引数は 地域 の instance では %n
(domain cloudCoverFraction 1 Region) Weather.kif 854-854 cloudCoverFraction の数値 1 引数は 地域 の instance では %n
(domain daylightHoursInterval 1 Region) Weather.kif 834-834 daylightHoursInterval の数値 1 引数は 地域 の instance では %n
(domain daylightHoursTotal 1 Region) Weather.kif 844-844 daylightHoursTotal の数値 1 引数は 地域 の instance では %n
(domain entrance 1 Region) Mid-level-ontology.kif 6904-6904 entrance の数値 1 引数は 地域 の instance では %n
(domain entrance 2 Region) Mid-level-ontology.kif 6905-6905 entrance の数値 2 引数は 地域 の instance では %n
(domain highTide 1 Region) Geography.kif 5010-5010 highTide の数値 1 引数は 地域 の instance では %n
(domain lowTide 1 Region) Geography.kif 5019-5019 lowTide の数値 1 引数は 地域 の instance では %n
(domain mapOfArea 1 Region) Geography.kif 527-527 mapOfArea の数値 1 引数は 地域 の instance では %n
(domain providesDestination 2 Region) Transportation.kif 4223-4223 providesDestination の数値 2 引数は 地域 の instance では %n
(domain routeBetween 2 Region) Transportation.kif 3628-3628 routeBetween の数値 2 引数は 地域 の instance では %n
(domain routeBetween 3 Region) Transportation.kif 3629-3629 routeBetween の数値 3 引数は 地域 の instance では %n
(domain routeEnd 1 Region) Transportation.kif 3366-3366 routeEnd の数値 1 引数は 地域 の instance では %n
(domain routeStart 1 Region) Transportation.kif 3343-3343 routeStart の数値 1 引数は 地域 の instance では %n
(domain totalArea 1 Region) Mid-level-ontology.kif 31459-31459 totalArea の数値 1 引数は 地域 の instance では %n

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 2663-2673 エンティティー は 地域 の instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置 の during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の during holds %n{ない}
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 30377-30384
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 30361-30369
(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))		 Cars.kif 1541-1549
(=>
    (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 13701-13706
(=>
    (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 3496-3501
(=>
    (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 2733-2754
(=>
    (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 803-805
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))		 Geography.kif 815-817

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 2454-2465
(=>
    (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 11604-11613
(=>
    (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 30287-30317
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13708-13714
(=>
    (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 1057-1065
(=>
    (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
(=>
    (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 1139-1151
(=>
    (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 17429-17442
(=>
    (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 17448-17461
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))		 Sports.kif 964-973
(=>
    (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 6780-6788
(=>
    (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
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9333-9335
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9329-9331
(=>
    (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