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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1175-1181
(partition Region GeographicArea SpaceRegion) Mid-level-ontology.kif 8605-8605
(subclass Region Object) Merge.kif 1173-1173

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


(range FlowRegionFn Region) Geography.kif 4712-4712
(range InnerBoundaryFn Region) Geography.kif 796-796
(range LatitudeFn Region) Geography.kif 410-410
(range OuterBoundaryFn Region) Geography.kif 808-808
(range WhereFn Region) Merge.kif 4120-4120
(subclass Atmosphere Region) Weather.kif 10-10
(subclass DiningArea Region) Mid-level-ontology.kif 14731-14731
(subclass FlowRegion Region) Mid-level-ontology.kif 8622-8622
(subclass GeographicArea Region) Merge.kif 13393-13393
(subclass Hole Region) Merge.kif 9456-9456
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 496-496
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 485-485
(subclass Indoors Region) Mid-level-ontology.kif 8720-8720
(subclass KitchenArea Region) Mid-level-ontology.kif 14706-14706
(subclass Latitude Region) Geography.kif 302-302
(subclass Longitude Region) Geography.kif 311-311
(subclass Outdoors Region) Mid-level-ontology.kif 8708-8708
(subclass ParkingRegion Region) TransportDetail.kif 31-31
(subclass Patio Region) Mid-level-ontology.kif 25653-25653
(subclass PerimeterArea Region) Geography.kif 761-761
(subclass PlayArea Region) Dining.kif 935-935
(subclass RealEstate Region) FinancialOntology.kif 1308-1308
(subclass Road Region) Mid-level-ontology.kif 21341-21341
(subclass SittingArea Region) Mid-level-ontology.kif 14693-14693
(subclass SpaceRegion Region) Mid-level-ontology.kif 8646-8646

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 795-795
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 780-780
(domain MealAttributeFn 2 Region) Food.kif 227-227
(domain OuterBoundaryFn 1 Region) Geography.kif 807-807
(domain PerimeterAreaFn 1 Region) Geography.kif 768-768
(domain VelocityFn 3 Region) Merge.kif 6460-6460
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1313-1313
(domain baptismplace 2 Region) Biography.kif 78-78
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 23600-23600
(domain capableAtLocation 4 Region) Transportation.kif 2697-2697
(domain capacityByArrangement 1 Region) Hotel.kif 765-765
(domain cloudCoverFraction 1 Region) Weather.kif 870-870
(domain daylightHoursInterval 1 Region) Weather.kif 850-850
(domain daylightHoursTotal 1 Region) Weather.kif 860-860
(domain highTide 1 Region) Geography.kif 4794-4794
(domain lowTide 1 Region) Geography.kif 4803-4803
(domain mapOfArea 1 Region) Geography.kif 527-527
(domain providesDestination 2 Region) Transportation.kif 3403-3403
(domain routeBetween 2 Region) Transportation.kif 2911-2911
(domain routeBetween 3 Region) Transportation.kif 2912-2912
(domain routeEnd 1 Region) Transportation.kif 2784-2784
(domain routeStart 1 Region) Transportation.kif 2761-2761
(domain totalArea 1 Region) Geography.kif 538-538
(domain visibilityInMeteorology 1 Region) Weather.kif 2695-2695

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 2673-2683
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 13032-13038
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))
Mid-level-ontology.kif 29168-29175
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 29152-29160
(=>
    (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-474
(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1325-1330
(=>
    (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 3377-3382
(=>
    (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 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 2743-2764
(=>
    (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 1183-1186
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 802-804
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 814-816

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 2464-2475
(=>
    (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 11064-11073
(=>
    (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 29079-29108
(=>
    (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)
                (greaterThan 50 ?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 2858-2872
(=>
    (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 2909-2922
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8694-8696
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8690-8692
(=>
    (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