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 1263-1269
(documentation Region JapaneseLanguage "地理的な場所。 Regions は Object の表面、架空の 場所、そして GeographicAreas を包含する。 注1:Region は、唯一の Object の種類で、それ 自体で位置付けできる。注2: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 10232-10232 Region is exhaustively partitioned into geographic area and space region
(subclass Region Object) Merge.kif 1261-1261 Region is a subclass of object

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


(range FlowRegionFn Region) Geography.kif 5147-5147 The range of flow region is an instance of region
(range InnerBoundaryFn Region) Geography.kif 929-929 The range of inner boundary is an instance of region
(range LatitudeFn Region) Geography.kif 547-547 The range of latitude is an instance of region
(range OuterBoundaryFn Region) Geography.kif 941-941 The range of outer boundary is an instance of region
(range WhereFn Region) Merge.kif 4252-4252 The range of where is an instance of region
(subclass AirportStagingArea Region) Transportation.kif 1307-1307 Airport staging area is a subclass of region
(subclass AssemblyStation Region) Economy.kif 2113-2113 Assembly station is a subclass of region
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere is a subclass of region
(subclass DiningArea Region) Mid-level-ontology.kif 16939-16939 Dining area is a subclass of region
(subclass EducationalCampus Region) Mid-level-ontology.kif 7733-7733 Educational campus is a subclass of region
(subclass Facility Region) Mid-level-ontology.kif 7693-7693 Facility is a subclass of region
(subclass FlowRegion Region) Mid-level-ontology.kif 10249-10249 Flow region is a subclass of region
(subclass GeographicArea Region) Merge.kif 14184-14184 Geographic area is a subclass of region
(subclass HoleRegion Region) Merge.kif 9989-9989 Hole is a subclass of region
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 551-551 Hydrophilic side is a subclass of region
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 540-540 Hydrophobic side is a subclass of region
(subclass Indoors Region) Mid-level-ontology.kif 10347-10347 Indoors is a subclass of region
(subclass KitchenArea Region) Mid-level-ontology.kif 16914-16914 Kitchen area is a subclass of region
(subclass Latitude Region) Geography.kif 439-439 Latitude is a subclass of region
(subclass LineInSpace Region) Mid-level-ontology.kif 27271-27271 Line in space is a subclass of region
(subclass Longitude Region) Geography.kif 448-448 Longitude is a subclass of region
(subclass MagneticField Region) Mid-level-ontology.kif 17159-17159 Magnetic field is a subclass of region
(subclass MilitaryBase Region) MilitaryProcesses.kif 2743-2743 Military base is a subclass of region
(subclass MultimodalTransitPoint Region) Transportation.kif 3691-3691 Multi modal transportation point is a subclass of region
(subclass Outdoors Region) Mid-level-ontology.kif 10335-10335 Outdoors 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 928-928 The number 1 argument of inner boundary is an instance of region
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 913-913 The number 1 argument of maritime claims territorial sea is an instance of region
(domain MarketInRegionFn 1 Region) Economy.kif 6726-6726 The number 1 argument of market is an instance of region
(domain MarketOfItemInRegionFn 2 Region) Economy.kif 6742-6742 The number 2 argument of market is an instance of region
(domain MealAttributeFn 2 Region) Food.kif 1905-1905 The number 2 argument of meal attribute function is an instance of region
(domain OuterBoundaryFn 1 Region) Geography.kif 940-940 The number 1 argument of outer boundary is an instance of region
(domain PerimeterAreaFn 1 Region) Geography.kif 901-901 The number 1 argument of perimeter area is an instance of region
(domain VelocityFn 3 Region) Merge.kif 6695-6695 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 baptizedplace 2 Region) Biography.kif 194-194 The number 2 argument of baptizedplace is an instance of region
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 26242-26242 The number 1 argument of canonical place name is an instance of region
(domain capableAtLocation 4 Region) Transportation.kif 3221-3221 The number 4 argument of capable at location is an instance of region
(domain capacityByArrangement 1 Region) Hotel.kif 790-790 The number 1 argument of capacity by arrangement is an instance of region
(domain cloudCoverFraction 1 Region) Weather.kif 1105-1105 The number 1 argument of cloud cover fraction is an instance of region
(domain daylightHoursInterval 1 Region) Weather.kif 1085-1085 The number 1 argument of daylight hours interval is an instance of region
(domain daylightHoursTotal 1 Region) Weather.kif 1095-1095 The number 1 argument of daylight hours total is an instance of region
(domain entrance 1 Region) Mid-level-ontology.kif 7847-7847 The number 1 argument of entrance is an instance of region
(domain entrance 2 Region) Mid-level-ontology.kif 7848-7848 The number 2 argument of entrance is an instance of region
(domain highTide 1 Region) Geography.kif 5231-5231 The number 1 argument of high tide is an instance of region
(domain lowTide 1 Region) Geography.kif 5240-5240 The number 1 argument of low tide is an instance of region
(domain mapOfArea 1 Region) Geography.kif 664-664 The number 1 argument of map of area is an instance of region
(domain providesDestination 2 Region) Transportation.kif 4539-4539 The number 2 argument of provides destination is an instance of region
(domain routeBetween 2 Region) Transportation.kif 3638-3638 The number 2 argument of route between is an instance of region
(domain routeBetween 3 Region) Transportation.kif 3639-3639 The number 3 argument of route between is an instance of region
(domain routeEnd 1 Region) Transportation.kif 3375-3375 The number 1 argument of route end is an instance of region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 3365-3375 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 32012-32019
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))
Mid-level-ontology.kif 31996-32004
(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))
Cars.kif 1541-1550
(=>
    (and
        (equal ?PLANE
            (LevelPlaneFn ?P ?A))
        (part ?P ?R)
        (instance ?R Region)
        (located ?R ?A))
    (exists (?L)
        (and
            (instance ?L LineInSpace)
            (endPointsOfLineInSpace ?P
                (CenterOfPlanetFn ?A) ?L)
            (orientation ?PLANE ?L RightAngle))))
Mid-level-ontology.kif 27429-27441
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))
Geography.kif 564-568
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))
Geography.kif 604-611
(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))
Merge.kif 13809-13814
(=>
    (and
        (instance ?L Laser)
        (instance ?R RadiatingVisibleLight)
        (instrument ?R ?L)
        (patient ?R ?X)
        (instance ?X Region))
    (color ?X Monochromatic))
engineering.kif 1050-1057
(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1326-1331
(=>
    (and
        (instance ?SYSTEM LowPressureWeatherSystem)
        (instance ?AREA Region)
        (eventLocated ?SYSTEM ?AREA))
    (and
        (barometricPressure ?AREA
            (MeasureFn ?AMOUNT InchMercury))
        (lessThan ?AMOUNT 29.5)))
Weather.kif 531-538
(=>
    (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 3621-3626
(=>
    (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 3435-3456
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 558-562
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 598-602
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 935-937
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 947-949

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 3156-3167
(=>
    (and
        (instance ?LE LandMeanOfProduction)
        (attribute ?LEO ?LE))
    (exists (?L ?EMS)
        (or
            (and
                (instance ?L Region)
                (part ?LEO ?L))
            (and
                (instance ?EMS ElectromagenticSpectrum)
                (equal ?LEO ?EMS)))))
Economy.kif 6140-6151
(=>
    (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 11708-11717
(=>
    (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 31922-31952
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))
Merge.kif 13816-13822
(=>
    (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 1065-1073
(=>
    (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 1080-1088
(=>
    (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 1452-1464
(=>
    (instance ?E Entering)
    (exists (?R ?A)
        (and
            (instance ?R Region)
            (destination ?E ?R)
            (agent ?E ?A)
            (instance ?A AutonomousAgent)
            (holdsDuring
                (BeginFn
                    (WhenFn ?E))
                (orientation ?A ?R Outside))
            (holdsDuring
                (EndFn
                    (WhenFn ?E))
                (orientation ?A ?R Inside)))))
Mid-level-ontology.kif 18598-18611
(=>
    (instance ?E Exiting)
    (exists (?R ?A)
        (and
            (instance ?R Region)
            (origin ?E ?R)
            (agent ?E ?A)
            (instance ?A AutonomousAgent)
            (holdsDuring
                (BeginFn
                    (WhenFn ?E))
                (orientation ?A ?R Inside))
            (holdsDuring
                (EndFn
                    (WhenFn ?E))
                (orientation ?A ?R Outside)))))
Mid-level-ontology.kif 18617-18630
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C ?CIR)
            (equal ?CIR Circle)
            (diameter ?CIR
                (MeasureFn 4.25 Inch)))))
Sports.kif 976-986
(=>
    (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 1344-1358
(=>
    (instance ?R PositionReport)
    (containsFormula ?R
        (exists (?O ?A)
            (and
                (instance ?O Object)
                (instance ?A Region)
                (located ?O
                    (WhenFn ?R) ?A)))))
Mid-level-ontology.kif 7723-7731
(=>
    (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 3551-3565
(=>
    (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 3602-3615
(=>
    (instance ?T Telemetry)
    (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)
        (and
            (instance ?MEASURING Measuring)
            (instance ?MEASURINGDEVICE MeasuringDevice)
            (instance ?REMOTELOCATION Region)
            (instance ?RECEIVINGLOCATION Region)
            (instance ?MESSAGING Messaging)
            (subProcess ?MESSAGING ?T)
            (subProcess ?MEASURING ?T)
            (instance ?RECEIVINGSTATION ElectronicDataStorageDevice)
            (agent ?MEASURING ?MEASURINGDEVICE)
            (located ?MEASURINGDEVICE ?REMOTELOCATION)
            (located ?RECEIVINGSTATION ?RECEIVINGLOCATION)
            (eventLocated ?MEASURING ?REMOTELOCATION)
            (not
                (equal ?RECEIVINGLOCATION ?REMOTELOCATION))
            (origin ?MESSAGING ?MEASURINGDEVICE)
            (destination ?MESSAGING ?RECEIVINGSTATION))))
Communications.kif 316-334
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 10321-10323
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 10317-10319
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners