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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region(r�gion)

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 8998-8998 R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion
(subclass Region Object) Merge.kif 1251-1251 R�gion est une sous-classe de objet

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


(range FlowRegionFn Region) Geography.kif 4904-4904 Le domaine de FlowRegionFn est une instance de r�gion
(range InnerBoundaryFn Region) Geography.kif 797-797 Le domaine de InnerBoundaryFn est une instance de r�gion
(range LatitudeFn Region) Geography.kif 410-410 Le domaine de LatitudeFn est une instance de r�gion
(range OuterBoundaryFn Region) Geography.kif 809-809 Le domaine de OuterBoundaryFn est une instance de r�gion
(range WhereFn Region) Merge.kif 4224-4224 Le domaine de WhereFn est une instance de r�gion
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere est une sous-classe de r�gion
(subclass DiningArea Region) Mid-level-ontology.kif 15538-15538 DiningArea est une sous-classe de r�gion
(subclass FlowRegion Region) Mid-level-ontology.kif 9015-9015 FlowRegion est une sous-classe de r�gion
(subclass GeographicArea Region) Merge.kif 14001-14001 Secteur g�ographique est une sous-classe de r�gion
(subclass HoleRegion Region) Merge.kif 9851-9851 Trou est une sous-classe de r�gion
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 547-547 HydrophilicSide est une sous-classe de r�gion
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 536-536 HydrophobicSide est une sous-classe de r�gion
(subclass Indoors Region) Mid-level-ontology.kif 9113-9113 Indoors est une sous-classe de r�gion
(subclass KitchenArea Region) Mid-level-ontology.kif 15513-15513 KitchenArea est une sous-classe de r�gion
(subclass Latitude Region) Geography.kif 302-302 Latitude est une sous-classe de r�gion
(subclass Longitude Region) Geography.kif 311-311 Longitude est une sous-classe de r�gion
(subclass Outdoors Region) Mid-level-ontology.kif 9101-9101 Outdoors est une sous-classe de r�gion
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion est une sous-classe de r�gion
(subclass Patio Region) Mid-level-ontology.kif 26551-26551 Patio est une sous-classe de r�gion
(subclass PerimeterArea Region) Geography.kif 762-762 PerimeterArea est une sous-classe de r�gion
(subclass PlayArea Region) Dining.kif 982-982 PlayArea est une sous-classe de r�gion
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 RealEstate est une sous-classe de r�gion
(subclass Road Region) Mid-level-ontology.kif 22166-22166 Road est une sous-classe de r�gion
(subclass SittingArea Region) Mid-level-ontology.kif 15500-15500 SittingArea est une sous-classe de r�gion
(subclass SpaceRegion Region) Mid-level-ontology.kif 9039-9039 SpaceRegion est une sous-classe de r�gion

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 Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 781-781 Le nombre 1 argument de MaritimeClaimsTerritorialSeaFn est une instance de r�gion
(domain MealAttributeFn 2 Region) Food.kif 1899-1899 Le nombre 2 argument de MealAttributeFn est une instance de r�gion
(domain OuterBoundaryFn 1 Region) Geography.kif 808-808 Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion
(domain PerimeterAreaFn 1 Region) Geography.kif 769-769 Le nombre 1 argument de PerimeterAreaFn est une instance de r�gion
(domain VelocityFn 3 Region) Merge.kif 6670-6670 Le nombre 3 argument de VelocityFn est une instance de r�gion
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 Le nombre 1 argument de areaOfOperation est une instance de r�gion
(domain baptizedplace 2 Region) Biography.kif 189-189 Le nombre 2 argument de baptizedplace est une instance de r�gion
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24529-24529 Le nombre 1 argument de canonicalPlaceName est une instance de r�gion
(domain capableAtLocation 4 Region) Transportation.kif 2690-2690 Le nombre 4 argument de capableAtLocation est une instance de r�gion
(domain capacityByArrangement 1 Region) Hotel.kif 786-786 Le nombre 1 argument de capacityByArrangement est une instance de r�gion
(domain cloudCoverFraction 1 Region) Weather.kif 870-870 Le nombre 1 argument de cloudCoverFraction est une instance de r�gion
(domain daylightHoursInterval 1 Region) Weather.kif 850-850 Le nombre 1 argument de daylightHoursInterval est une instance de r�gion
(domain daylightHoursTotal 1 Region) Weather.kif 860-860 Le nombre 1 argument de daylightHoursTotal est une instance de r�gion
(domain highTide 1 Region) Geography.kif 4988-4988 Le nombre 1 argument de highTide est une instance de r�gion
(domain lowTide 1 Region) Geography.kif 4997-4997 Le nombre 1 argument de lowTide est une instance de r�gion
(domain mapOfArea 1 Region) Geography.kif 527-527 Le nombre 1 argument de mapOfArea est une instance de r�gion
(domain providesDestination 2 Region) Transportation.kif 3396-3396 Le nombre 2 argument de providesDestination est une instance de r�gion
(domain routeBetween 2 Region) Transportation.kif 2904-2904 Le nombre 2 argument de routeBetween est une instance de r�gion
(domain routeBetween 3 Region) Transportation.kif 2905-2905 Le nombre 3 argument de routeBetween est une instance de r�gion
(domain routeEnd 1 Region) Transportation.kif 2777-2777 Le nombre 1 argument de routeEnd est une instance de r�gion
(domain routeStart 1 Region) Transportation.kif 2754-2754 Le nombre 1 argument de routeStart est une instance de r�gion
(domain totalArea 1 Region) Mid-level-ontology.kif 31111-31111 Le nombre 1 argument de totalArea est une instance de r�gion
(domain visibilityInMeteorology 1 Region) Weather.kif 2702-2702 Le nombre 1 argument de visibilityInMeteorology est une instance de r�gion

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 2680-2690 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 30037-30044
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 30021-30029
(=>
    (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 13625-13630
(=>
    (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 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 2750-2771
(=>
    (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 2471-2482
(=>
    (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 11528-11537
(=>
    (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 29947-29977
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13632-13638
(=>
    (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 1141-1153
(=>
    (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 1109-1123
(=>
    (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 2865-2879
(=>
    (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 2916-2929
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9087-9089
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9083-9085
(=>
    (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 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