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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region

VerbNet: remove-10.1|reap, remove-10.1|reap,


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 1148-1153
(partition Region GeographicArea SpaceRegion) Mid-level-ontology.kif 8700-8700 partition Region, GeographicArea and SpaceRegion
(subclass Region Object) Merge.kif 1146-1146 subclass Region and Object

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


(range FlowRegionFn Region) Geography.kif 4612-4612 range FlowRegionFn and Region
(range InnerBoundaryFn Region) Geography.kif 796-796 range InnerBoundaryFn and Region
(range LatitudeFn Region) Geography.kif 410-410 range LatitudeFn and Region
(range OuterBoundaryFn Region) Geography.kif 808-808 range OuterBoundaryFn and Region
(range WhereFn Region) Merge.kif 3951-3951 range WhereFn and Region
(subclass Atmosphere Region) Weather.kif 10-10 subclass Atmosphere and Region
(subclass DiningArea Region) Mid-level-ontology.kif 13246-13246 subclass DiningArea and Region
(subclass FlowRegion Region) Mid-level-ontology.kif 8764-8764 subclass FlowRegion and Region
(subclass GeographicArea Region) Merge.kif 12892-12892 subclass GeographicArea and Region
(subclass Hole Region) Merge.kif 9143-9143 subclass Hole and Region
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 424-424 subclass HydrophilicSide and Region
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 413-413 subclass HydrophobicSide and Region
(subclass Indoors Region) Mid-level-ontology.kif 8868-8868 subclass Indoors and Region
(subclass KitchenArea Region) Mid-level-ontology.kif 13222-13222 subclass KitchenArea and Region
(subclass Latitude Region) Geography.kif 302-302 subclass Latitude and Region
(subclass Longitude Region) Geography.kif 311-311 subclass Longitude and Region
(subclass Outdoors Region) Mid-level-ontology.kif 8856-8856 subclass Outdoors and Region
(subclass ParkingRegion Region) TransportDetail.kif 31-31 subclass ParkingRegion and Region
(subclass Patio Region) Mid-level-ontology.kif 24726-24726 subclass Patio and Region
(subclass PerimeterArea Region) Geography.kif 761-761 subclass PerimeterArea and Region
(subclass PlayArea Region) Dining.kif 935-935 subclass PlayArea and Region
(subclass RealEstate Region) FinancialOntology.kif 1295-1295 subclass RealEstate and Region
(subclass Road Region) Mid-level-ontology.kif 20046-20046 subclass Road and Region
(subclass SittingArea Region) Mid-level-ontology.kif 13209-13209 subclass SittingArea and Region
(subclass SpaceRegion Region) Mid-level-ontology.kif 8788-8788 subclass SpaceRegion and 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 795-795 domain InnerBoundaryFn, 1 and Region
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 780-780 domain MaritimeClaimsTerritorialSeaFn, 1 and Region
(domain MealAttributeFn 2 Region) Food.kif 293-293 domain MealAttributeFn, 2 and Region
(domain OuterBoundaryFn 1 Region) Geography.kif 807-807 domain OuterBoundaryFn, 1 and Region
(domain PerimeterAreaFn 1 Region) Geography.kif 768-768 domain PerimeterAreaFn, 1 and Region
(domain VelocityFn 3 Region) Merge.kif 6254-6254 domain VelocityFn, 3 and Region
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1313-1313 domain areaOfOperation, 1 and Region
(domain baptismplace 2 Region) Biography.kif 78-78 domain baptismplace, 2 and Region
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 22372-22372 domain canonicalPlaceName, 1 and Region
(domain capableAtLocation 4 Region) Transportation.kif 2659-2659 domain capableAtLocation, 4 and Region
(domain capacityByArrangement 1 Region) Hotel.kif 759-759 domain capacityByArrangement, 1 and Region
(domain cloudCoverFraction 1 Region) Weather.kif 481-481 domain cloudCoverFraction, 1 and Region
(domain daylightHoursInterval 1 Region) Weather.kif 461-461 domain daylightHoursInterval, 1 and Region
(domain daylightHoursTotal 1 Region) Weather.kif 471-471 domain daylightHoursTotal, 1 and Region
(domain highTide 1 Region) Geography.kif 4691-4691 domain highTide, 1 and Region
(domain lowTide 1 Region) Geography.kif 4700-4700 domain lowTide, 1 and Region
(domain mapOfArea 1 Region) Geography.kif 527-527 domain mapOfArea, 1 and Region
(domain providesDestination 2 Region) Transportation.kif 3365-3365 domain providesDestination, 2 and Region
(domain routeBetween 2 Region) Transportation.kif 2873-2873 domain routeBetween, 2 and Region
(domain routeBetween 3 Region) Transportation.kif 2874-2874 domain routeBetween, 3 and Region
(domain routeEnd 1 Region) Transportation.kif 2746-2746 domain routeEnd, 1 and Region
(domain routeStart 1 Region) Transportation.kif 2723-2723 domain routeStart, 1 and Region
(domain totalArea 1 Region) Geography.kif 538-538 domain totalArea, 1 and Region
(domain visibilityInMeteorology 1 Region) Weather.kif 1205-1205 domain visibilityInMeteorology, 1 and 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 1183-1193 instance Entity and Region holdsDuring TimePosition and property Entity and StandardAmbientTemperaturePressure holdsDuring TimePosition and airTemperature Entity and MeasureFn 298.15 and KelvinDegree barometricPressure Entity and MeasureFn 29.530 and InchMercury
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 12531-12537 Process instance Process and RadiatingLight patient Process and Object instance Object and Region attribute Object and Illuminated
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))
Mid-level-ontology.kif 28272-28279
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 28256-28264
(=>
    (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 3355-3360
(=>
    (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 1252-1269
(=>
    (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 1155-1158
(=>
    (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 985-996
(=>
    (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 10657-10666
(=>
    (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 28184-28213
(=>
    (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 1014-1022
(=>
    (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 1029-1037
(=>
    (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 ?CTRL)
                        (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 720-734
(=>
    (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 1386-1400
(=>
    (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 1442-1455
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8842-8844
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8838-8840
(=>
    (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 165-173


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners