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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region(r�gion)

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 を包含する。 注１：Region は、唯一の Object の種類で、それ 自体で位置付けできる。注２：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 R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion
(subclass Region Object) Merge.kif 1261-1261 R�gion est une sous-classe de objet

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


(range FlowRegionFn Region) Geography.kif 5318-5318 Le domaine de FlowRegionFn est une instance de r�gion
(range InnerBoundaryFn Region) Geography.kif 1100-1100 Le domaine de InnerBoundaryFn est une instance de r�gion
(range LatitudeFn Region) Geography.kif 718-718 Le domaine de LatitudeFn est une instance de r�gion
(range OuterBoundaryFn Region) Geography.kif 1112-1112 Le domaine de OuterBoundaryFn est une instance de r�gion
(range WhereFn Region) Merge.kif 4252-4252 Le domaine de WhereFn est une instance de r�gion
(subclass AirportStagingArea Region) Transportation.kif 1307-1307 AirportStagingArea est une sous-classe de r�gion
(subclass AssemblyStation Region) Economy.kif 2113-2113 AssemblyStation est une sous-classe de r�gion
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere est une sous-classe de r�gion
(subclass DiningArea Region) Mid-level-ontology.kif 16939-16939 DiningArea est une sous-classe de r�gion
(subclass EducationalCampus Region) Mid-level-ontology.kif 7733-7733 EducationalCampus est une sous-classe de r�gion
(subclass Facility Region) Mid-level-ontology.kif 7693-7693 Facility est une sous-classe de r�gion
(subclass FlowRegion Region) Mid-level-ontology.kif 10249-10249 FlowRegion est une sous-classe de r�gion
(subclass GeographicArea Region) Merge.kif 14184-14184 Secteur g�ographique est une sous-classe de r�gion
(subclass HoleRegion Region) Merge.kif 9989-9989 Trou est une sous-classe de r�gion
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 551-551 HydrophilicSide est une sous-classe de r�gion
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 540-540 HydrophobicSide est une sous-classe de r�gion
(subclass Indoors Region) Mid-level-ontology.kif 10347-10347 Indoors est une sous-classe de r�gion
(subclass KitchenArea Region) Mid-level-ontology.kif 16914-16914 KitchenArea est une sous-classe de r�gion
(subclass Latitude Region) Geography.kif 472-472 Latitude est une sous-classe de r�gion
(subclass LineInSpace Region) Mid-level-ontology.kif 27271-27271 LineInSpace est une sous-classe de r�gion
(subclass Longitude Region) Geography.kif 481-481 Longitude est une sous-classe de r�gion
(subclass MagneticField Region) Mid-level-ontology.kif 17159-17159 MagneticField est une sous-classe de r�gion
(subclass MilitaryBase Region) MilitaryProcesses.kif 2743-2743 MilitaryBase est une sous-classe de r�gion
(subclass MultimodalTransitPoint Region) Transportation.kif 3691-3691 MultimodalTransitPoint est une sous-classe de r�gion
(subclass Outdoors Region) Mid-level-ontology.kif 10335-10335 Outdoors est une sous-classe de r�gion

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 1099-1099 Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 1084-1084 Le nombre 1 argument de MaritimeClaimsTerritorialSeaFn est une instance de r�gion
(domain MarketInRegionFn 1 Region) Economy.kif 6726-6726 Le nombre 1 argument de MarketInRegionFn est une instance de r�gion
(domain MarketOfItemInRegionFn 2 Region) Economy.kif 6742-6742 Le nombre 2 argument de MarketOfItemInRegionFn est une instance de r�gion
(domain MealAttributeFn 2 Region) Food.kif 1905-1905 Le nombre 2 argument de MealAttributeFn est une instance de r�gion
(domain OuterBoundaryFn 1 Region) Geography.kif 1111-1111 Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion
(domain PerimeterAreaFn 1 Region) Geography.kif 1072-1072 Le nombre 1 argument de PerimeterAreaFn est une instance de r�gion
(domain VelocityFn 3 Region) Merge.kif 6695-6695 Le nombre 3 argument de VelocityFn est une instance de r�gion
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 Le nombre 1 argument de areaOfOperation est une instance de r�gion
(domain baptizedplace 2 Region) Biography.kif 194-194 Le nombre 2 argument de baptizedplace est une instance de r�gion
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 26242-26242 Le nombre 1 argument de canonicalPlaceName est une instance de r�gion
(domain capableAtLocation 4 Region) Transportation.kif 3221-3221 Le nombre 4 argument de capableAtLocation est une instance de r�gion
(domain capacityByArrangement 1 Region) Hotel.kif 790-790 Le nombre 1 argument de capacityByArrangement est une instance de r�gion
(domain cloudCoverFraction 1 Region) Weather.kif 1105-1105 Le nombre 1 argument de cloudCoverFraction est une instance de r�gion
(domain daylightHoursInterval 1 Region) Weather.kif 1085-1085 Le nombre 1 argument de daylightHoursInterval est une instance de r�gion
(domain daylightHoursTotal 1 Region) Weather.kif 1095-1095 Le nombre 1 argument de daylightHoursTotal est une instance de r�gion
(domain entrance 1 Region) Mid-level-ontology.kif 7847-7847 Le nombre 1 argument de entrance est une instance de r�gion
(domain entrance 2 Region) Mid-level-ontology.kif 7848-7848 Le nombre 2 argument de entrance est une instance de r�gion
(domain highTide 1 Region) Geography.kif 5402-5402 Le nombre 1 argument de highTide est une instance de r�gion
(domain lowTide 1 Region) Geography.kif 5411-5411 Le nombre 1 argument de lowTide est une instance de r�gion
(domain mapOfArea 1 Region) Geography.kif 835-835 Le nombre 1 argument de mapOfArea est une instance de r�gion
(domain providesDestination 2 Region) Transportation.kif 4539-4539 Le nombre 2 argument de providesDestination est une instance de r�gion
(domain routeBetween 2 Region) Transportation.kif 3638-3638 Le nombre 2 argument de routeBetween est une instance de r�gion
(domain routeBetween 3 Region) Transportation.kif 3639-3639 Le nombre 3 argument de routeBetween est une instance de r�gion
(domain routeEnd 1 Region) Transportation.kif 3375-3375 Le nombre 1 argument de routeEnd est une instance de r�gion

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 3509-3519 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
(=>
    (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 735-739
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 775-782
(=>
    (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 3792-3797
(=>
    (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 3579-3600
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 729-733
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 769-773
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))		 Geography.kif 1106-1108
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))		 Geography.kif 1118-1120

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 3300-3311
(=>
    (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 3695-3709
(=>
    (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 3746-3759
(=>
    (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