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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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...

appearance as argument number 1
-------------------------


s__documentation(s__Region,s__ChineseLanguage,'这是一个地理位置。 Region 包括 Object 的表面、虚构的 地方 和 GeographicArea 。注:Region 是唯一能够定位于作自身的 Object 。 另外要注意的是 Region 不是 SelfConnectedObject 的子类别, 因为有一些 Region ,像群岛有些 part 跟其他部分 不 connected 。')

Merge.kif 1272-1275
s__documentation(s__Region,s__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 1266-1271
s__partition_3(s__Region,s__GeographicArea,s__SpaceRegion)

Mid-level-ontology.kif 8698-8698
s__instance(s__Region,s__SetOrClass)

Merge.kif 1265-1265

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


s__range(s__FlowRegionFn__m,s__Region)

Geography.kif 4599-4599
s__range(s__InnerBoundaryFn__m,s__Region)

Geography.kif 789-789
s__range(s__LatitudeFn__m,s__Region)

Geography.kif 410-410
s__range(s__OuterBoundaryFn__m,s__Region)

Geography.kif 801-801
s__range(s__WhereFn__m,s__Region)

Merge.kif 4349-4349
s__instance(s__Atmosphere,s__SetOrClass)

Weather.kif 10-10
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 13247-13247
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 8762-8762
s__instance(s__Region,s__SetOrClass)

Merge.kif 13970-13970
s__instance(s__Region,s__SetOrClass)

Merge.kif 9817-9817
s__instance(s__Region,s__SetOrClass)

VirusProteinAndCellPart.kif 424-424
s__instance(s__Region,s__SetOrClass)

VirusProteinAndCellPart.kif 413-413
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 8866-8866
s__instance(s__KitchenArea,s__SetOrClass)

Mid-level-ontology.kif 13223-13223
s__instance(s__Region,s__SetOrClass)

Geography.kif 302-302
s__instance(s__Region,s__SetOrClass)

Geography.kif 311-311
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 8854-8854
s__instance(s__Region,s__SetOrClass)

TransportDetail.kif 31-31
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 24645-24645
s__instance(s__Region,s__SetOrClass)

Geography.kif 754-754
s__instance(s__Region,s__SetOrClass)

Dining.kif 939-939
s__instance(s__Region,s__SetOrClass)

FinancialOntology.kif 1296-1296
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 19987-19987
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 13210-13210
s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 8786-8786

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__InnerBoundaryFn__m,1,s__Region)

Geography.kif 788-788
s__domain(s__MaritimeClaimsTerritorialSeaFn__m,1,s__Region)

Geography.kif 773-773
s__domain(s__MealAttributeFn__m,2,s__Region)

Food.kif 294-294
s__domain(s__OuterBoundaryFn__m,1,s__Region)

Geography.kif 800-800
s__domain(s__PerimeterAreaFn__m,1,s__Region)

Geography.kif 761-761
s__domain(s__VelocityFn__m,3,s__Region)

Merge.kif 6869-6869
s__domain(s__areaOfOperation__m,1,s__Region)

MilitaryProcesses.kif 1302-1302
s__domain(s__baptismplace__m,2,s__Region)

Biography.kif 78-78
s__domain(s__canonicalPlaceName__m,1,s__Region)

Mid-level-ontology.kif 22340-22340
s__domain(s__capableAtLocation__m,4,s__Region)

Transportation.kif 2604-2604
s__domain(s__capacityByArrangement__m,1,s__Region)

Hotel.kif 755-755
s__domain(s__cloudCoverFraction__m,1,s__Region)

Weather.kif 482-482
s__domain(s__daylightHoursInterval__m,1,s__Region)

Weather.kif 462-462
s__domain(s__daylightHoursTotal__m,1,s__Region)

Weather.kif 472-472
s__domain(s__highTide__m,1,s__Region)

Geography.kif 4678-4678
s__domain(s__lowTide__m,1,s__Region)

Geography.kif 4687-4687
s__domain(s__mapOfArea__m,1,s__Region)

Geography.kif 524-524
s__domain(s__providesDestination__m,2,s__Region)

Transportation.kif 3313-3313
s__domain(s__routeBetween__m,2,s__Region)

Transportation.kif 2821-2821
s__domain(s__routeBetween__m,3,s__Region)

Transportation.kif 2822-2822
s__domain(s__routeEnd__m,1,s__Region)

Transportation.kif 2691-2691
s__domain(s__routeStart__m,1,s__Region)

Transportation.kif 2668-2668
s__domain(s__totalArea__m,1,s__Region)

Geography.kif 535-535
s__domain(s__visibilityInMeteorology__m,1,s__Region)

Weather.kif 1108-1108

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1086-1096
( ! [V__REGION] :
   ((? [V__EMIT] :
       (s__instance(V__EMIT,s__RadiatingLight) &
         s__patient(V__EMIT,V__REGION)
       &
       s__instance(V__REGION,s__Region)))
   <=>
   s__attribute(V__REGION,s__Illuminated))
)

Merge.kif 13569-13575
( ! [V__I] :
   ((s__attribute(V__I,s__Inhabited) &
       s__instance(V__I,s__Region))
     =>
     (? [V__H] :
       (s__instance(V__H,s__Human) &
         s__inhabits(V__H,V__I))))
)

Mid-level-ontology.kif 28198-28205
( ! [V__U] :
   ((s__attribute(V__U,s__Uninhabited) &
       s__instance(V__U,s__Region))
     =>
     (~ (? [V__H] :
         (s__instance(V__H,s__Human) &
           s__inhabits(V__H,V__U)))))
)

Mid-level-ontology.kif 28182-28190
( ! [V__DIRECTION,V__ROW1,V__NUM] :
   ((s__instance(s__LatitudeFn_2(V__DIRECTION,V__ROW1)
    ,s__Region) &
     (s__ListOrderFn(s__ListFn_1(V__ROW1)
    ,1)
   = s__MeasureFn(V__NUM,s__AngularDegree)))
=>
s__lessThanOrEqualTo(V__NUM,90))
)

Geography.kif 427-431
( ! [V__DIRECTION,V__ROW1,V__NUM] :
   ((s__instance(s__LongitudeFn_2(V__DIRECTION,V__ROW1)
    ,s__Region) &
     (s__ListOrderFn(s__ListFn_1(V__ROW1)
    ,1)
   = s__MeasureFn(V__NUM,s__AngularDegree)))
=>
s__lessThanOrEqualTo(V__NUM,180))
)

Geography.kif 467-471
( ! [V__OP,V__REGION] :
   ((s__instance(V__OP,s__MilitaryOperation) &
       s__eventLocated(V__OP,V__REGION)
     &
     s__instance(V__REGION,s__Region))
   =>
   s__areaOfOperation(V__REGION,V__OP))
)

MilitaryProcesses.kif 1314-1319
( ! [V__X] :
   ((s__instance(V__X,s__Region) &
       s__attribute(V__X,s__Vacuum))
     =>
     (~ (? [V__O] :
         (s__instance(V__O,s__Object) &
           s__located(V__O,V__X)))))
)

Cars.kif 368-376
( ! [V__ONE,V__TWO] :
   ((s__overlapsSpatially(V__ONE,V__TWO)
     &
     s__instance(V__TWO,s__Region) &
     (~ (V__ONE = V__TWO)))
   =>
   s__partlyLocated(V__ONE,V__TWO))
)

Geography.kif 3342-3347
( ! [V__Area,V__Time,V__Distance,V__Observe,V__B,V__A,V__D2] :
   ((s__visibilityInMeteorology(V__Area,V__Time,V__Distance)
     &
     s__instance(V__Time,s__NightTime) &
     s__instance(V__Observe,s__Looking) &
     s__instance(V__B,s__Region) &
     s__attribute(V__B,s__Illuminated) &
     s__measure(V__B,s__MeasureFn(1000,s__Candela))
   &
   s__agent(V__Observe,V__A)
&
s__patient(V__Observe,V__B)
&
s__orientation(V__A,V__B,s__Horizontal) &
s__eventLocated(V__Observe,V__Area)
&
s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(s__distance(V__A,V__B,V__D2)
&
s__greaterThan(V__Distance,V__D2)))
)

Weather.kif 1155-1172
( ! [V__DIRECTION,V__ROW1,V__ROW2,V__ROW3] :
   (s__instance(s__LatitudeFn_4(V__DIRECTION,V__ROW1,V__ROW2,V__ROW3)
  ,s__Region) =>
   ((V__DIRECTION = s__North) |
       (V__DIRECTION = s__South)))
     )

Geography.kif 421-425
( ! [V__DIRECTION,V__ROW1] :
   (s__instance(s__LongitudeFn_2(V__DIRECTION,V__ROW1)
  ,s__Region) =>
   ((V__DIRECTION = s__East) |
       (V__DIRECTION = s__West)))
     )

Geography.kif 461-465
( ! [V__REGION] :
   (s__instance(V__REGION,s__Region) =>
     (? [V__PHYS] :
       s__located(V__PHYS,V__REGION)))
)

Merge.kif 1277-1280
( ! [V__REGION] :
   (s__instance(V__REGION,s__Region) =>
     s__superficialPart(s__InnerBoundaryFn(V__REGION)
  ,V__REGION))
)

Geography.kif 795-797
( ! [V__REGION] :
   (s__instance(V__REGION,s__Region) =>
     s__superficialPart(s__OuterBoundaryFn(V__REGION)
  ,V__REGION))
)

Geography.kif 807-809

consequent
-------------------------


( ! [V__DRYSPELL,V__AREA] :
   ((s__instance(V__DRYSPELL,s__Drought) &
       s__eventLocated(V__DRYSPELL,V__AREA))
   =>
   (~ (? [V__RAIN,V__PLACE] :
       (s__instance(V__RAIN,s__Raining) &
         s__instance(V__PLACE,s__Region) &
         s__eventLocated(V__RAIN,V__PLACE)
       &
       s__overlapsSpatially(V__PLACE,V__AREA)
     &
     s__overlapsTemporally(V__RAIN,V__DRYSPELL)))))
)

Weather.kif 908-919
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 566-576
( ! [V__MOVEMENT,V__PLACE1] :
   ((s__instance(V__MOVEMENT,s__Translocation) &
       s__origin(V__MOVEMENT,V__PLACE1))
   =>
   (? [V__PLACE2,V__STAGE] :
     (s__instance(V__PLACE2,s__Region) &
       (~ (V__PLACE1 = V__PLACE2))
       &
       s__subProcess(V__STAGE,V__MOVEMENT)
     &
     s__located(V__STAGE,V__PLACE2))))
)

Merge.kif 11447-11456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
( ! [V__X] :
   (s__attribute(V__X,s__DownAndInRoom) =>
     (? [V__LOC,V__INDOOR] :
       (s__instance(V__INDOOR,s__Indoors) &
         s__instance(V__LOC,s__Region) &
         s__orientation(V__LOC,V__X,s__Adjacent) &
         s__orientation(V__LOC,V__X,s__Outside) &
         s__located(V__LOC,V__INDOOR))))
)

Hotel.kif 1010-1018
( ! [V__X] :
   (s__attribute(V__X,s__DownAndOutRoom) =>
     (? [V__LOC,V__OUTDOOR] :
       (s__instance(V__OUTDOOR,s__Outdoors) &
         s__instance(V__LOC,s__Region) &
         s__orientation(V__LOC,V__X,s__Adjacent) &
         s__orientation(V__LOC,V__X,s__Outside) &
         s__located(V__LOC,V__OUTDOOR))))
)

Hotel.kif 1025-1033
( ! [V__X,V__PM,V__P1,V__P2] :
   (s__attribute(V__X,s__PartialVacuum) =>
     (? [V__O,V__G] :
       (s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__G,s__Region) &
         (~ (V__G = V__X))
         &
         s__connected(V__X,V__O)
       &
       s__connected(V__G,V__O)
     &
     s__measure(V__G,s__MeasureFn(V__PM,V__P1))
&
s__measure(V__X,s__MeasureFn(V__PM,V__P2))
&
s__instance(V__PM,s__UnitOfAtmosphericPressure) &
s__greaterThan(V__P1,V__P2))))
)

Cars.kif 383-396
( ! [V__X,V__PM,V__P1,V__P2] :
   (s__attribute(V__X,s__Pressurized) =>
     (? [V__O,V__G] :
       (s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__G,s__Region) &
         (~ (V__G = V__X))
         &
         s__connected(V__X,V__O)
       &
       s__connected(V__G,V__O)
     &
     s__measure(V__G,s__MeasureFn(V__PM,V__P1))
&
s__measure(V__X,s__MeasureFn(V__PM,V__P2))
&
s__instance(V__PM,s__UnitOfAtmosphericPressure) &
s__greaterThan(V__P2,V__P1))))
)

Cars.kif 403-416
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146
No TPTP formula. May not be expressible in strict first order. Weather.kif 721-735
No TPTP formula. May not be expressible in strict first order. Weather.kif 1290-1304
No TPTP formula. May not be expressible in strict first order. Weather.kif 1346-1359
( ! [V__OBJ,V__REGION] :
   (s__orientation(V__OBJ,V__REGION,s__Inside) =>
     s__instance(V__REGION,s__Region))
   )

Mid-level-ontology.kif 8840-8842
( ! [V__OBJ,V__REGION] :
   (s__orientation(V__OBJ,V__REGION,s__Outside) =>
     s__instance(V__REGION,s__Region))
   )

Mid-level-ontology.kif 8836-8838
( ! [V__PLACE,V__DIR] :
   (s__surfaceWindDirection(V__PLACE,V__DIR)
   =>
   (? [V__WIND,V__FROM] :
     (s__instance(V__WIND,s__Wind) &
       s__instance(V__FROM,s__Region) &
       s__eventPartlyLocated(V__WIND,V__PLACE)
     &
     s__origin(V__WIND,V__FROM)
   &
   s__orientation(V__FROM,V__PLACE,V__DIR))))
)

Weather.kif 166-174


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