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 。") Merge.kif 1284-1287
(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 1278-1283
(partition Region GeographicArea SpaceRegion) Mid-level-ontology.kif 8698-8698 地区 详尽无遗地 partition地理区域SpaceRegion
(subclass Region Object) Merge.kif 1277-1277 地区客体subclass

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


(range FlowRegionFn Region) Geography.kif 4598-4598 FlowRegionFnrange地区 的实例
(range InnerBoundaryFn Region) Geography.kif 789-789 InnerBoundaryFnrange地区 的实例
(range LatitudeFn Region) Geography.kif 410-410 LatitudeFnrange地区 的实例
(range OuterBoundaryFn Region) Geography.kif 801-801 OuterBoundaryFnrange地区 的实例
(range WhereFn Region) Merge.kif 4362-4362 表示位置的函数range地区 的实例
(subclass Atmosphere Region) Weather.kif 10-10 大气层地区subclass
(subclass DiningArea Region) Mid-level-ontology.kif 13247-13247 DiningArea地区subclass
(subclass FlowRegion Region) Mid-level-ontology.kif 8762-8762 FlowRegion地区subclass
(subclass GeographicArea Region) Merge.kif 14028-14028 地理区域地区subclass
(subclass Hole Region) Merge.kif 9875-9875 地区subclass
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 424-424 HydrophilicSide地区subclass
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 413-413 HydrophobicSide地区subclass
(subclass Indoors Region) Mid-level-ontology.kif 8866-8866 Indoors地区subclass
(subclass KitchenArea Region) Mid-level-ontology.kif 13223-13223 KitchenArea地区subclass
(subclass Latitude Region) Geography.kif 302-302 Latitude地区subclass
(subclass Longitude Region) Geography.kif 311-311 Longitude地区subclass
(subclass Outdoors Region) Mid-level-ontology.kif 8854-8854 Outdoors地区subclass
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion地区subclass
(subclass Patio Region) Mid-level-ontology.kif 24725-24725 Patio地区subclass
(subclass PerimeterArea Region) Geography.kif 754-754 PerimeterArea地区subclass
(subclass PlayArea Region) Dining.kif 939-939 PlayArea地区subclass
(subclass RealEstate Region) FinancialOntology.kif 1296-1296 RealEstate地区subclass
(subclass Road Region) Mid-level-ontology.kif 20045-20045 Road地区subclass
(subclass SittingArea Region) Mid-level-ontology.kif 13210-13210 SittingArea地区subclass
(subclass SpaceRegion Region) Mid-level-ontology.kif 8786-8786 SpaceRegion地区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 788-788 InnerBoundaryFn 的 1 数量 是 地区instance
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 773-773 MaritimeClaimsTerritorialSeaFn 的 1 数量 是 地区instance
(domain MealAttributeFn 2 Region) Food.kif 294-294 MealAttributeFn 的 2 数量 是 地区instance
(domain OuterBoundaryFn 1 Region) Geography.kif 800-800 OuterBoundaryFn 的 1 数量 是 地区instance
(domain PerimeterAreaFn 1 Region) Geography.kif 761-761 PerimeterAreaFn 的 1 数量 是 地区instance
(domain VelocityFn 3 Region) Merge.kif 6882-6882 速度函数 的 3 数量 是 地区instance
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1302-1302 areaOfOperation 的 1 数量 是 地区instance
(domain baptismplace 2 Region) Biography.kif 78-78 baptismplace 的 2 数量 是 地区instance
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 22371-22371 canonicalPlaceName 的 1 数量 是 地区instance
(domain capableAtLocation 4 Region) Transportation.kif 2631-2631 capableAtLocation 的 4 数量 是 地区instance
(domain capacityByArrangement 1 Region) Hotel.kif 755-755 capacityByArrangement 的 1 数量 是 地区instance
(domain cloudCoverFraction 1 Region) Weather.kif 482-482 cloudCoverFraction 的 1 数量 是 地区instance
(domain daylightHoursInterval 1 Region) Weather.kif 462-462 daylightHoursInterval 的 1 数量 是 地区instance
(domain daylightHoursTotal 1 Region) Weather.kif 472-472 daylightHoursTotal 的 1 数量 是 地区instance
(domain highTide 1 Region) Geography.kif 4677-4677 highTide 的 1 数量 是 地区instance
(domain lowTide 1 Region) Geography.kif 4686-4686 lowTide 的 1 数量 是 地区instance
(domain mapOfArea 1 Region) Geography.kif 524-524 mapOfArea 的 1 数量 是 地区instance
(domain providesDestination 2 Region) Transportation.kif 3340-3340 providesDestination 的 2 数量 是 地区instance
(domain routeBetween 2 Region) Transportation.kif 2848-2848 routeBetween 的 2 数量 是 地区instance
(domain routeBetween 3 Region) Transportation.kif 2849-2849 routeBetween 的 3 数量 是 地区instance
(domain routeEnd 1 Region) Transportation.kif 2718-2718 routeEnd 的 1 数量 是 地区instance
(domain routeStart 1 Region) Transportation.kif 2695-2695 routeStart 的 1 数量 是 地区instance
(domain totalArea 1 Region) Geography.kif 535-535 totalArea 的 1 数量 是 地区instance
(domain visibilityInMeteorology 1 Region) Weather.kif 1108-1108 气象学能见度 的 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 1086-1096 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 airTemperature 那个 实体 and 298.15 KelvinDegreebarometricPressure 那个 实体 and 29.530 InchMercury那个 时间位置 holdsDuring
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 13627-13633 有存在 过程 这样 那个 过程放射光线instance 客体那个 过程patient那个 客体地区instance 若且唯若 Illuminated那个 客体attribute
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))
Mid-level-ontology.kif 28278-28285
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 28262-28270
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90))
Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180))
Geography.kif 467-471
(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1314-1319
(=>
    (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 3342-3347
(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (and
        (distance ?A ?B ?D2)
        (greaterThan ?Distance ?D2)))
Weather.kif 1155-1172
(=>
    (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)
    (exists (?PHYS)
        (located ?PHYS ?REGION)))
Merge.kif 1289-1292
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 795-797
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 807-809

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 908-919
(=>
    (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 566-576
(=>
    (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 11505-11514
(=>
    (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)
            (refers ?X ?Q)
            (refers ?Q ?PC)
            (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 28190-28219
(=>
    (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 913-937
(=>
    (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 1010-1018
(=>
    (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 1025-1033
(=>
    (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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (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 ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1134-1146
(=>
    (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)
                (greaterThan 50 ?NUM)))))
Weather.kif 721-735
(=>
    (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 1290-1304
(=>
    (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 1346-1359
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8840-8842
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8836-8838
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners