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 1205-1211
(partition Region GeographicArea SpaceRegion) Mid-level-ontology.kif 8629-8629 地区 详尽无遗地 partition 成 地理区域 和 空间区域
(subclass Region Object) Merge.kif 1203-1203 地区 是 客体 的 subclass

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


(range FlowRegionFn Region) Geography.kif 4824-4824 流动区域 的 range 是 地区 的实例
(range InnerBoundaryFn Region) Geography.kif 804-804 内部边界 的 range 是 地区 的实例
(range LatitudeFn Region) Geography.kif 410-410 纬度 的 range 是 地区 的实例
(range OuterBoundaryFn Region) Geography.kif 816-816 外边界 的 range 是 地区 的实例
(range WhereFn Region) Merge.kif 4134-4134 表示位置的函数 的 range 是 地区 的实例
(subclass Atmosphere Region) Weather.kif 10-10 大气层 是 地区 的 subclass
(subclass DiningArea Region) Mid-level-ontology.kif 15010-15010 DiningArea 是 地区 的 subclass
(subclass FlowRegion Region) Mid-level-ontology.kif 8646-8646 流动区域 是 地区 的 subclass
(subclass GeographicArea Region) Merge.kif 13777-13777 地理区域 是 地区 的 subclass
(subclass Hole Region) Merge.kif 9762-9762 洞 是 地区 的 subclass
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 496-496 亲水侧 是 地区 的 subclass
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 485-485 疏水面 是 地区 的 subclass
(subclass Indoors Region) Mid-level-ontology.kif 8744-8744 在室内 是 地区 的 subclass
(subclass KitchenArea Region) Mid-level-ontology.kif 14985-14985 KitchenArea 是 地区 的 subclass
(subclass Latitude Region) Geography.kif 302-302 纬度 是 地区 的 subclass
(subclass Longitude Region) Geography.kif 311-311 经度 是 地区 的 subclass
(subclass Outdoors Region) Mid-level-ontology.kif 8732-8732 在户外 是 地区 的 subclass
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion 是 地区 的 subclass
(subclass Patio Region) Mid-level-ontology.kif 25982-25982 Patio 是 地区 的 subclass
(subclass PerimeterArea Region) Geography.kif 769-769 周边区域 是 地区 的 subclass
(subclass PlayArea Region) Dining.kif 935-935 PlayArea 是 地区 的 subclass
(subclass Road Region) Mid-level-ontology.kif 21673-21673 路 是 地区 的 subclass
(subclass SittingArea Region) Mid-level-ontology.kif 14972-14972 SittingArea 是 地区 的 subclass
(subclass SpaceRegion Region) Mid-level-ontology.kif 8670-8670 空间区域 是 地区 的 subclass
(subclass TransitRoute Region) Transportation.kif 2998-2998 过境路线 是 地区 的 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 803-803 内部边界 的 1 数量 是 地区 的 instance
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 788-788 海上主张领海 的 1 数量 是 地区 的 instance
(domain MealAttributeFn 2 Region) Food.kif 227-227 MealAttributeFn 的 2 数量 是 地区 的 instance
(domain OuterBoundaryFn 1 Region) Geography.kif 815-815 外边界 的 1 数量 是 地区 的 instance
(domain PerimeterAreaFn 1 Region) Geography.kif 776-776 周边区域 的 1 数量 是 地区 的 instance
(domain VelocityFn 3 Region) Merge.kif 6574-6574 速度函数 的 3 数量 是 地区 的 instance
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 经营范围 的 1 数量 是 地区 的 instance
(domain baptismplace 2 Region) Biography.kif 78-78 baptismplace 的 2 数量 是 地区 的 instance
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 23931-23931 canonicalPlaceName 的 1 数量 是 地区 的 instance
(domain capableAtLocation 4 Region) Transportation.kif 2697-2697 能够在位置 的 4 数量 是 地区 的 instance
(domain capacityByArrangement 1 Region) Hotel.kif 765-765 capacityByArrangement 的 1 数量 是 地区 的 instance
(domain cloudCoverFraction 1 Region) Weather.kif 870-870 云覆盖部分 的 1 数量 是 地区 的 instance
(domain daylightHoursInterval 1 Region) Weather.kif 850-850 白天小时间隔 的 1 数量 是 地区 的 instance
(domain daylightHoursTotal 1 Region) Weather.kif 860-860 白天的总时数 的 1 数量 是 地区 的 instance
(domain highTide 1 Region) Geography.kif 4908-4908 highTide 的 1 数量 是 地区 的 instance
(domain lowTide 1 Region) Geography.kif 4917-4917 lowTide 的 1 数量 是 地区 的 instance
(domain mapOfArea 1 Region) Geography.kif 527-527 地区地图 的 1 数量 是 地区 的 instance
(domain providesDestination 2 Region) Transportation.kif 3403-3403 providesDestination 的 2 数量 是 地区 的 instance
(domain routeBetween 2 Region) Transportation.kif 2911-2911 之间的路线 的 2 数量 是 地区 的 instance
(domain routeBetween 3 Region) Transportation.kif 2912-2912 之间的路线 的 3 数量 是 地区 的 instance
(domain routeEnd 1 Region) Transportation.kif 2784-2784 routeEnd 的 1 数量 是 地区 的 instance
(domain routeStart 1 Region) Transportation.kif 2761-2761 routeStart 的 1 数量 是 地区 的 instance
(domain totalArea 1 Region) Geography.kif 538-538 总面积 的 1 数量 是 地区 的 instance
(domain visibilityInMeteorology 1 Region) Weather.kif 2701-2701 气象学能见度 的 1 数量 是 地区 的 instance

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 2679-2689 实体 是 地区 的 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 29498-29505
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 29482-29490
(=>
    (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 13409-13414
(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))		 MilitaryProcesses.kif 1326-1331
(=>
    (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 3418-3423
(=>
    (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 2749-2770
(=>
    (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 810-812
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))		 Geography.kif 822-824

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 2470-2481
(=>
    (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 11391-11400
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?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 29408-29438
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13416-13422
(=>
    (attribute ?ROOM OpenLayout)
    (and
        (instance ?ROOM Room)
        (exists (?R1 ?R2)
            (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 Agent)
                        (located ?H ?R2))
                    (and
                        (capability Seeing agent ?H)
                        (capability Seeing patient ?R1)))))))		 Dining.kif 909-933
(=>
    (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 1035-1043
(=>
    (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 1050-1058
(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G)
        (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)
        (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 1138-1150
(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA)
            (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 1108-1122
(=>
    (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 2864-2878
(=>
    (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 2915-2928
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 8718-8720
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 8714-8716
(=>
    (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


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