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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Region

 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 9053-9053 劃分 Region, GeographicArea and 空間區域
(subclass Region Object) Merge.kif 1251-1251 子類 Region and Object

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


(range FlowRegionFn Region) Geography.kif 4926-4926 範圍 流動區域 and Region
(range InnerBoundaryFn Region) Geography.kif 797-797 範圍 內部邊界 and Region
(range LatitudeFn Region) Geography.kif 410-410 範圍 緯度 and Region
(range OuterBoundaryFn Region) Geography.kif 809-809 範圍 外邊界 and Region
(range WhereFn Region) Merge.kif 4225-4225 範圍 哪裡 and Region
(subclass Atmosphere Region) Weather.kif 10-10 子類 大氣層 and Region
(subclass DiningArea Region) Mid-level-ontology.kif 15593-15593 子類 DiningArea and Region
(subclass FlowRegion Region) Mid-level-ontology.kif 9070-9070 子類 流動區域 and Region
(subclass GeographicArea Region) Merge.kif 14077-14077 子類 GeographicArea and Region
(subclass HoleRegion Region) Merge.kif 9887-9887 子類 HoleRegion and Region
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 546-546 子類 親水側 and Region
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 535-535 子類 疏水面 and Region
(subclass Indoors Region) Mid-level-ontology.kif 9168-9168 子類 在室內 and Region
(subclass KitchenArea Region) Mid-level-ontology.kif 15568-15568 子類 KitchenArea and Region
(subclass Latitude Region) Geography.kif 302-302 子類 緯度 and Region
(subclass Longitude Region) Geography.kif 311-311 子類 經度 and Region
(subclass Outdoors Region) Mid-level-ontology.kif 9156-9156 子類 在戶外 and Region
(subclass ParkingRegion Region) TransportDetail.kif 31-31 子類 ParkingRegion and Region
(subclass Patio Region) Mid-level-ontology.kif 26667-26667 子類 Patio and Region
(subclass PerimeterArea Region) Geography.kif 762-762 子類 周邊區域 and Region
(subclass PlayArea Region) Dining.kif 982-982 子類 PlayArea and Region
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 子類 房地產 and Region
(subclass Road Region) Mid-level-ontology.kif 22269-22269 子類 路 and Region
(subclass SittingArea Region) Mid-level-ontology.kif 15555-15555 子類 SittingArea and Region
(subclass SpaceRegion Region) Mid-level-ontology.kif 9094-9094 子類 空間區域 and 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 域 內部邊界, 1 and Region
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 781-781 域 海上主張領海, 1 and Region
(domain MealAttributeFn 2 Region) Food.kif 1899-1899 域 MealAttributeFn, 2 and Region
(domain OuterBoundaryFn 1 Region) Geography.kif 808-808 域 外邊界, 1 and Region
(domain PerimeterAreaFn 1 Region) Geography.kif 769-769 域 周邊區域, 1 and Region
(domain VelocityFn 3 Region) Merge.kif 6671-6671 域 速度, 3 and Region
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 域 經營範圍, 1 and Region
(domain baptizedplace 2 Region) Biography.kif 189-189 域 baptizedplace, 2 and Region
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24637-24637 域 canonicalPlaceName, 1 and Region
(domain capableAtLocation 4 Region) Transportation.kif 2723-2723 域 能夠在位置, 4 and Region
(domain capacityByArrangement 1 Region) Hotel.kif 786-786 域 capacityByArrangement, 1 and Region
(domain cloudCoverFraction 1 Region) Weather.kif 854-854 域 雲覆蓋部分, 1 and Region
(domain daylightHoursInterval 1 Region) Weather.kif 834-834 域 白天小時間隔, 1 and Region
(domain daylightHoursTotal 1 Region) Weather.kif 844-844 域 白天的總時數, 1 and Region
(domain highTide 1 Region) Geography.kif 5010-5010 域 highTide, 1 and Region
(domain lowTide 1 Region) Geography.kif 5019-5019 域 lowTide, 1 and Region
(domain mapOfArea 1 Region) Geography.kif 527-527 域 地區地圖, 1 and Region
(domain providesDestination 2 Region) Transportation.kif 3448-3448 域 providesDestination, 2 and Region
(domain routeBetween 2 Region) Transportation.kif 2955-2955 域 之間的路線, 2 and Region
(domain routeBetween 3 Region) Transportation.kif 2956-2956 域 之間的路線, 3 and Region
(domain routeEnd 1 Region) Transportation.kif 2810-2810 域 routeEnd, 1 and Region
(domain routeStart 1 Region) Transportation.kif 2787-2787 域 routeStart, 1 and Region
(domain totalArea 1 Region) Mid-level-ontology.kif 31226-31226 域 總面積, 1 and Region
(domain visibilityInMeteorology 1 Region) Weather.kif 2685-2685 域 visibilityInMeteorology, 1 and Region

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 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 30144-30151
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 30128-30136
(=>
    (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 30054-30084
(=>
    (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 ?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 ?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 9142-9144
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9138-9140
(=>
    (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 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