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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Region

 Sigma KEE - Region
Region(Regione)

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 9026-9026 Regione è esaustivamente partizionato in AreaGeografica + SpaceRegion
(subclass Region Object) Merge.kif 1251-1251 Regione è una sottoclasse di Oggetto

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


(range FlowRegionFn Region) Geography.kif 4926-4926 rango di FlowRegionFn è un'istanza di Regione
(range InnerBoundaryFn Region) Geography.kif 797-797 rango di InnerBoundaryFn è un'istanza di Regione
(range LatitudeFn Region) Geography.kif 410-410 rango di LatitudeFn è un'istanza di Regione
(range OuterBoundaryFn Region) Geography.kif 809-809 rango di OuterBoundaryFn è un'istanza di Regione
(range WhereFn Region) Merge.kif 4224-4224 rango di WhereFn è un'istanza di Regione
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere è una sottoclasse di Regione
(subclass DiningArea Region) Mid-level-ontology.kif 15566-15566 DiningArea è una sottoclasse di Regione
(subclass FlowRegion Region) Mid-level-ontology.kif 9043-9043 FlowRegion è una sottoclasse di Regione
(subclass GeographicArea Region) Merge.kif 14031-14031 AreaGeografica è una sottoclasse di Regione
(subclass HoleRegion Region) Merge.kif 9851-9851 Apertura è una sottoclasse di Regione
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 547-547 HydrophilicSide è una sottoclasse di Regione
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 536-536 HydrophobicSide è una sottoclasse di Regione
(subclass Indoors Region) Mid-level-ontology.kif 9141-9141 Indoors è una sottoclasse di Regione
(subclass KitchenArea Region) Mid-level-ontology.kif 15541-15541 KitchenArea è una sottoclasse di Regione
(subclass Latitude Region) Geography.kif 302-302 Latitude è una sottoclasse di Regione
(subclass Longitude Region) Geography.kif 311-311 Longitude è una sottoclasse di Regione
(subclass Outdoors Region) Mid-level-ontology.kif 9129-9129 Outdoors è una sottoclasse di Regione
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion è una sottoclasse di Regione
(subclass Patio Region) Mid-level-ontology.kif 26634-26634 Patio è una sottoclasse di Regione
(subclass PerimeterArea Region) Geography.kif 762-762 PerimeterArea è una sottoclasse di Regione
(subclass PlayArea Region) Dining.kif 982-982 PlayArea è una sottoclasse di Regione
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 RealEstate è una sottoclasse di Regione
(subclass Road Region) Mid-level-ontology.kif 22217-22217 Road è una sottoclasse di Regione
(subclass SittingArea Region) Mid-level-ontology.kif 15528-15528 SittingArea è una sottoclasse di Regione
(subclass SpaceRegion Region) Mid-level-ontology.kif 9067-9067 SpaceRegion è una sottoclasse di Regione

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 Il numero 1 argomenti di InnerBoundaryFn è un istanza di Regione
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 781-781 Il numero 1 argomenti di MaritimeClaimsTerritorialSeaFn è un istanza di Regione
(domain MealAttributeFn 2 Region) Food.kif 1899-1899 Il numero 2 argomenti di MealAttributeFn è un istanza di Regione
(domain OuterBoundaryFn 1 Region) Geography.kif 808-808 Il numero 1 argomenti di OuterBoundaryFn è un istanza di Regione
(domain PerimeterAreaFn 1 Region) Geography.kif 769-769 Il numero 1 argomenti di PerimeterAreaFn è un istanza di Regione
(domain VelocityFn 3 Region) Merge.kif 6670-6670 Il numero 3 argomenti di VelocityFn è un istanza di Regione
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 Il numero 1 argomenti di areaOfOperation è un istanza di Regione
(domain baptizedplace 2 Region) Biography.kif 189-189 Il numero 2 argomenti di baptizedplace è un istanza di Regione
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24580-24580 Il numero 1 argomenti di canonicalPlaceName è un istanza di Regione
(domain capableAtLocation 4 Region) Transportation.kif 2690-2690 Il numero 4 argomenti di capableAtLocation è un istanza di Regione
(domain capacityByArrangement 1 Region) Hotel.kif 786-786 Il numero 1 argomenti di capacityByArrangement è un istanza di Regione
(domain cloudCoverFraction 1 Region) Weather.kif 870-870 Il numero 1 argomenti di cloudCoverFraction è un istanza di Regione
(domain daylightHoursInterval 1 Region) Weather.kif 850-850 Il numero 1 argomenti di daylightHoursInterval è un istanza di Regione
(domain daylightHoursTotal 1 Region) Weather.kif 860-860 Il numero 1 argomenti di daylightHoursTotal è un istanza di Regione
(domain highTide 1 Region) Geography.kif 5010-5010 Il numero 1 argomenti di highTide è un istanza di Regione
(domain lowTide 1 Region) Geography.kif 5019-5019 Il numero 1 argomenti di lowTide è un istanza di Regione
(domain mapOfArea 1 Region) Geography.kif 527-527 Il numero 1 argomenti di mapOfArea è un istanza di Regione
(domain providesDestination 2 Region) Transportation.kif 3396-3396 Il numero 2 argomenti di providesDestination è un istanza di Regione
(domain routeBetween 2 Region) Transportation.kif 2904-2904 Il numero 2 argomenti di routeBetween è un istanza di Regione
(domain routeBetween 3 Region) Transportation.kif 2905-2905 Il numero 3 argomenti di routeBetween è un istanza di Regione
(domain routeEnd 1 Region) Transportation.kif 2777-2777 Il numero 1 argomenti di routeEnd è un istanza di Regione
(domain routeStart 1 Region) Transportation.kif 2754-2754 Il numero 1 argomenti di routeStart è un istanza di Regione
(domain totalArea 1 Region) Mid-level-ontology.kif 31194-31194 Il numero 1 argomenti di totalArea è un istanza di Regione
(domain visibilityInMeteorology 1 Region) Weather.kif 2702-2702 Il numero 1 argomenti di visibilityInMeteorology è un istanza di Regione

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� è un' istanza di Regione Entit� ha un attributo StandardAmbientTemperaturePressure vales durante PosizioneTemporale airTemperature Entit� and 298.15 KelvinDegree(s barometricPressure Entit� and 29.530 InchMercury(s vales durante PosizioneTemporale
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 30120-30127
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 30104-30112
(=>
    (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 13655-13660
(=>
    (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 11558-11567
(=>
    (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 30030-30060
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13662-13668
(=>
    (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 ?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 9115-9117
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 9111-9113
(=>
    (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