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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region(region)Abraham's_bosom, Annwfn, Annwn, Antarctic_Circle, Appleton_layer, Aquarius, Aquarius_the_Water_Bearer, Archer, Arctic_Circle, Aries, Aries_the_Ram, Asgard, Balance, Brobdingnag, Bull, Cancer, Cancer_the_Crab, Capricorn, Capricorn_the_Goat, Celestial_City, City_of_God, Cockaigne, Crab, D-layer, D_region, E_layer, E_region, Earth, Eden, Edgeworth-Kuiper_belt, El_Dorado, Elysian_Fields, Elysium, F_layer, F_region, Fish, GHQ, Garden_of_Eden, Gehenna, Gemini, Gemini_the_Twins, Goat, Green_Line, Greenwich_Meridian, Hades, Heaven, Heavenly_City, Heaviside_layer, Hell, Holy_City...

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 1224-1230
(partition Region GeographicArea SpaceRegion) Mid-level-ontology.kif 8985-8985 Region is exhaustively partitioned into geographic area and space region
(subclass Region Object) Merge.kif 1222-1222 Region is a subclass of object

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


(range FlowRegionFn Region) Geography.kif 4835-4835 The range of flow region is an instance of region
(range InnerBoundaryFn Region) Geography.kif 804-804 The range of inner boundary is an instance of region
(range LatitudeFn Region) Geography.kif 410-410 The range of latitude is an instance of region
(range OuterBoundaryFn Region) Geography.kif 816-816 The range of outer boundary is an instance of region
(range WhereFn Region) Merge.kif 4165-4165 The range of where is an instance of region
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere is a subclass of region
(subclass DiningArea Region) Mid-level-ontology.kif 15412-15412 Dining area is a subclass of region
(subclass FlowRegion Region) Mid-level-ontology.kif 9002-9002 Flow region is a subclass of region
(subclass GeographicArea Region) Merge.kif 13893-13893 Geographic area is a subclass of region
(subclass HoleRegion Region) Merge.kif 9801-9801 Hole is a subclass of region
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 496-496 Hydrophilic side is a subclass of region
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 485-485 Hydrophobic side is a subclass of region
(subclass Indoors Region) Mid-level-ontology.kif 9100-9100 Indoors is a subclass of region
(subclass KitchenArea Region) Mid-level-ontology.kif 15387-15387 Kitchen area is a subclass of region
(subclass Latitude Region) Geography.kif 302-302 Latitude is a subclass of region
(subclass Longitude Region) Geography.kif 311-311 Longitude is a subclass of region
(subclass Outdoors Region) Mid-level-ontology.kif 9088-9088 Outdoors is a subclass of region
(subclass ParkingRegion Region) TransportDetail.kif 31-31 Parking area is a subclass of region
(subclass Patio Region) Mid-level-ontology.kif 26527-26527 Patio is a subclass of region
(subclass PerimeterArea Region) Geography.kif 769-769 Perimeter area is a subclass of region
(subclass PlayArea Region) Dining.kif 982-982 Playground is a subclass of region
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 Real estate is a subclass of region
(subclass Road Region) Mid-level-ontology.kif 22165-22165 Road is a subclass of region
(subclass SittingArea Region) Mid-level-ontology.kif 15374-15374 Sitting area is a subclass of region
(subclass SpaceRegion Region) Mid-level-ontology.kif 9026-9026 Space region is a subclass of 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 803-803 The number 1 argument of inner boundary is an instance of region
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 788-788 The number 1 argument of maritime claims territorial sea is an instance of region
(domain MealAttributeFn 2 Region) Food.kif 227-227 The number 2 argument of meal attribute function is an instance of region
(domain OuterBoundaryFn 1 Region) Geography.kif 815-815 The number 1 argument of outer boundary is an instance of region
(domain PerimeterAreaFn 1 Region) Geography.kif 776-776 The number 1 argument of perimeter area is an instance of region
(domain VelocityFn 3 Region) Merge.kif 6609-6609 The number 3 argument of velocity is an instance of region
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 The number 1 argument of area of operation is an instance of region
(domain baptismplace 2 Region) Biography.kif 78-78 The number 2 argument of baptismplace is an instance of region
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24470-24470 The number 1 argument of canonical place name is an instance of region
(domain capableAtLocation 4 Region) Transportation.kif 2690-2690 The number 4 argument of capable at location is an instance of region
(domain capacityByArrangement 1 Region) Hotel.kif 786-786 The number 1 argument of capacity by arrangement is an instance of region
(domain cloudCoverFraction 1 Region) Weather.kif 870-870 The number 1 argument of cloud cover fraction is an instance of region
(domain daylightHoursInterval 1 Region) Weather.kif 850-850 The number 1 argument of daylight hours interval is an instance of region
(domain daylightHoursTotal 1 Region) Weather.kif 860-860 The number 1 argument of daylight hours total is an instance of region
(domain highTide 1 Region) Geography.kif 4919-4919 The number 1 argument of high tide is an instance of region
(domain lowTide 1 Region) Geography.kif 4928-4928 The number 1 argument of low tide is an instance of region
(domain mapOfArea 1 Region) Geography.kif 527-527 The number 1 argument of map of area is an instance of region
(domain providesDestination 2 Region) Transportation.kif 3396-3396 The number 2 argument of provides destination is an instance of region
(domain routeBetween 2 Region) Transportation.kif 2904-2904 The number 2 argument of route between is an instance of region
(domain routeBetween 3 Region) Transportation.kif 2905-2905 The number 3 argument of route between is an instance of region
(domain routeEnd 1 Region) Transportation.kif 2777-2777 The number 1 argument of route end is an instance of region
(domain routeStart 1 Region) Transportation.kif 2754-2754 The number 1 argument of route start is an instance of region
(domain totalArea 1 Region) Geography.kif 538-538 The number 1 argument of total area is an instance of region
(domain visibilityInMeteorology 1 Region) Weather.kif 2702-2702 The number 1 argument of visibility in meteorology is an instance of 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 2680-2690 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))
Mid-level-ontology.kif 30035-30042
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 30019-30027
(=>
    (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 13517-13522
(=>
    (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 3429-3434
(=>
    (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 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 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 11481-11490
(=>
    (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)
            (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 29945-29975
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))
Merge.kif 13524-13530
(=>
    (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 1138-1150
(=>
    (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 9074-9076
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 9070-9072
(=>
    (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