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


KB Term:  Term intersection
English Word: 

Sigma KEE - LandArea
LandArea(land area)Abila, Abruzzi, Abruzzi_e_Molise, Abyla, Acadia, Acores, Acre, Aegadean_Islands, Aegadean_Isles, Aegates, Aegean, Afro-Asian, Akmola, Alpine, Alsace, Alsatia, Alsatian, America, American, Anatolia, Andean, Andorran, Apulia, Aquitaine, Aquitania, Arabia, Arabian, Arabian_Peninsula, Aragon, Arcadia, Ardennes, Areopagus, Armageddon, Asama, Asia_Minor, Assyria, Astana, Athos, Attica, Australasia, Austronesia, Auvergne, Azores, Babylonia, Bad_Lands, Badlands, Balkan_Peninsula, Balkans, Barbados, Barbary...

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


(subclass LandArea GeographicArea) Merge.kif 14328-14328 Land area is a subclass of geographic area
(documentation LandArea EnglishLanguage "An area which is predominantly solid ground, e.g. a Nation, a mountain, a desert, etc. Note that a LandArea may contain some relatively small WaterAreas. For example, Australia is a LandArea even though it contains various rivers and lakes.") Merge.kif 14329-14332 Land area is a subclass of geographic area

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


(instance SaintHelena LandArea) CountriesAndRegions.kif 232-232 Saint helena is an instance of land area
(instance GazaStrip LandArea) CountriesAndRegions.kif 237-237 Gaza strip is an instance of land area
(instance WestBank LandArea) CountriesAndRegions.kif 238-238 West bank is an instance of land area
(instance FaroeIslands LandArea) CountriesAndRegions.kif 311-311 Faroe islands is an instance of land area
(instance JanMayenIsland LandArea) CountriesAndRegions.kif 312-312 Jan mayen island is an instance of land area
(instance Svalbard LandArea) CountriesAndRegions.kif 313-313 Svalbard is an instance of land area
(instance Guernsey LandArea) CountriesAndRegions.kif 344-344 Guernsey is an instance of land area
(instance Jersey LandArea) CountriesAndRegions.kif 345-345 Jersey is an instance of land area
(instance IsleOfMan LandArea) CountriesAndRegions.kif 346-346 Isle of man is an instance of land area
(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 Bermuda is an instance of land area
(instance Greenland LandArea) CountriesAndRegions.kif 401-401 Greenland is an instance of land area
(instance SaintPierreAndMiquelon LandArea) CountriesAndRegions.kif 402-402 Saint pierre and miquelon is an instance of land area
(instance Anguilla LandArea) CountriesAndRegions.kif 416-416 Anguilla is an instance of land area
(instance Aruba LandArea) CountriesAndRegions.kif 417-417 Aruba is an instance of land area
(instance BritishVirginIslands LandArea) CountriesAndRegions.kif 418-418 British virgin islands is an instance of land area
(instance CaymanIslands LandArea) CountriesAndRegions.kif 419-419 Cayman islands is an instance of land area
(instance Guadeloupe LandArea) CountriesAndRegions.kif 420-420 Guadeloupe is an instance of land area
(instance Martinique LandArea) CountriesAndRegions.kif 421-421 Martinique is an instance of land area
(instance Montserrat LandArea) CountriesAndRegions.kif 422-422 Montserrat is an instance of land area
(instance NavassaIsland LandArea) CountriesAndRegions.kif 423-423 Navassa island is an instance of land area
(instance NetherlandsAntilles LandArea) CountriesAndRegions.kif 424-424 Netherlands antilles is an instance of land area
(instance TurksAndCaicosIslands LandArea) CountriesAndRegions.kif 425-425 Turks and caicos islands is an instance of land area
(instance ClippertonIsland LandArea) CountriesAndRegions.kif 469-469 Clipperton island is an instance of land area
(instance FrenchGuiana LandArea) CountriesAndRegions.kif 491-491 French guiana is an instance of land area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain slopeGradient 1 LandArea) Geography.kif 3129-3129 The number 1 argument of slope gradient is an instance of land area
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 3142-3142 The number 1 argument of slope gradient towards orientation is an instance of land area
(domain groundSurfaceType 1 LandArea) Geography.kif 5836-5836 The number 1 argument of ground surface type is an instance of land area
(domain groundSubsurfaceType 1 LandArea) Geography.kif 5843-5843 The number 1 argument of ground subsurface type is an instance of land area
(partition GeographicArea WaterArea LandArea) Merge.kif 14207-14207 Geographic area is exhaustively partitioned into water area and land area

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 3290-3296 If X is an instance of soil, yellow is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is not an attribute of Y
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 3298-3304 If X is an instance of soil, red is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is an attribute of Y
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?valley
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))		 Geography.kif 5789-5799 If All of the following hold: (1) X is an instance of valley (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?basin
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))		 Geography.kif 5805-5815 If All of the following hold: (1) X is an instance of basin (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W
(=>
    (and
        (instance ?area LandArea)
        (groundSurfaceType ?area ?type1)
        (groundSubsurfaceType ?area ?type2))
    (exists (?above ?below)
        (and
            (instance ?above ?type1)
            (instance ?below ?type2)
            (orientation ?above ?below Above))))		 Geography.kif 5846-5855 If X is an instance of land area, Y is a ground surface type of X, and Z is a ground subsurface type of X, then there exist W, V such that W is an instance of Y, V is an instance of Z, and W is above to V
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Dry))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Damp))))		 Geography.kif 7332-7339 If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then dry is an attribute of Y holds during immediately before the time of existence of X and damp is an attribute of Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))		 Geography.kif 7341-7346 If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then X has the purpose fertile terrain is an attribute of Y
(=>
    (and
        (instance ?SINKING LandSubsidence)
        (patient ?SINKING ?LAND)
        (instance ?LAND LandArea)
        (instance ?U UnitOfLength)
        (elevation ?LAND
            (MeasureFn ?HEIGHT1 ?U)))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?SINKING))
        (exists (?HEIGHT2)
            (and
                (elevation ?LAND
                    (MeasureFn ?HEIGHT2 ?U))
                (lessThan ?HEIGHT2 ?HEIGHT1)))))		 Geography.kif 8434-8447 If X is an instance of land subsidence, Y is a patient of X, Y is an instance of land area, Z is an instance of unit of length, and W Z(s) is an elevation of Y, then there exists V such that V Z(s) is an elevation of Y and V is less than W holds during immediately after the time of existence of X
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 14334-14341 If X is an instance of land area, then there exists Y such that X is a part of Y and Y is an instance of continent or Y is an instance of island
(=>
    (and
        (instance ?F Flooding)
        (instance ?L LandArea)
        (eventLocated ?F ?L)
        (instance ?T TimePoint)
        (before ?T
            (WhenFn ?F)))
    (modalAttribute
        (holdsDuring ?T
            (instance ?L SubmergedLandArea)) Unlikely))		 Weather.kif 2922-2932 If X is an instance of flooding, Y is an instance of land area, X is located at Y, Z is an instance of time point, and Z happens before the time of existence of X, then the statement Y is an instance of submerged land area holds during Z has the modal force of unlikely

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


(=>
    (instance ?Estate RealEstate)
    (or
        (instance ?Estate StationaryArtifact)
        (instance ?Estate LandArea)
        (exists (?Artifact ?Area)
            (and
                (instance ?Artifact StationaryArtifact)
                (instance ?Area LandArea)
                (equal ?Estate
                    (MereologicalSumFn ?Artifact ?Area))))))		 FinancialOntology.kif 1375-1384 If X is an instance of real estate, then At least one of the following holds: (1) X is an instance of stationary artifact (2) X is an instance of land area (3) there exist Y, Z such that Y is an instance of stationary artifact, Z is an instance of land area, equal X, the union of the parts of Y, and Z
(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))		 Geography.kif 2075-2081 If X is an instance of water only area, then there doesn't exist Y such that Y is an instance of land area and Y is a part of X
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))		 Geography.kif 2414-2419 If X is an instance of landlocked area, then there exists Y such that Y is an instance of land area and X meets Y
(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))		 Geography.kif 3197-3201 If X is an instance of terrain attribute and X is an attribute of Y, then Y is an instance of land area
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))		 Geography.kif 3248-3250 If mountainous terrain is an attribute of X, then X is an instance of land area
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 3633-3651 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of land area and V is not an instance of arable land and V is not an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))		 Geography.kif 6349-6354 If X is an instance of sea, then there exists Y such that Y is an instance of land area and Y meets X
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))		 Geography.kif 6834-6839 If X is an instance of inlet, then there exists Y such that Y is an instance of land area and X penetrates Y
(=>
    (and
        (instance ?Isthmus Isthmus)
        (side ?Leftside ?Isthmus)
        (side ?Rightside ?Isthmus)
        (not
            (equal ?Leftside ?Rightside)))
    (exists (?Region1 ?Region2 ?Water1 ?Water2)
        (and
            (instance ?Region1 LandArea)
            (instance ?Region2 LandArea)
            (between ?Region1 ?Isthmus ?Region2)
            (instance ?Water1 WaterArea)
            (instance ?Water2 WaterArea)
            (meetsSpatially ?Leftside ?Water1)
            (meetsSpatially ?Rightside ?Water2))))		 Geography.kif 7444-7458 If X is an instance of isthmus, a side of X is Y, a side of X is Z, and equal Y and Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of land area (3) V is an instance of land area (4) X is between W (5) V (6) U is an instance of water area (7) T is an instance of water area (8) Y meets U (9) Z meets T
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))		 Geography.kif 8426-8432 If X is an instance of land subsidence, then there exists Y such that Y is an instance of land area, X is located at Y, and Y is a patient of X
(=>
    (instance ?ISLAND Island)
    (not
        (exists (?AREA ?PART1 ?PART2)
            (and
                (instance ?AREA LandArea)
                (part ?PART1 ?ISLAND)
                (part ?PART2 ?AREA)
                (not
                    (part ?ISLAND ?AREA))
                (not
                    (part ?AREA ?ISLAND))
                (meetsSpatially ?PART1 ?PART2)))))		 Merge.kif 14369-14381 If X is an instance of island, then All of the following hold: (1) there don't exist Y, Z (2) W such that Y is an instance of land area (3) Z is a part of X (4) W is a part of Y (5) X is not a part of Y (6) Y is not a part of X (7) Z meets W
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14383-14389 If X is an instance of island, Y is an instance of geographic area, and X meets Y, then Y is not an instance of land area
(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))		 Merge.kif 14464-14472 If X is an instance of land transitway, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, Y is located at Z, and Z is an instance of land area
(=>
    (instance ?X Hammock)
    (and
        (material Fabric ?X)
        (exists (?POLE1 ?POLE2 ?GROUND)
            (and
                (orientation ?POLE1 ?POLE2 Near)
                (connected ?POLE1 ?X)
                (connected ?POLE2 ?X)
                (instance ?GROUND LandArea)
                (located ?X ?GROUND)
                (orientation ?X ?GROUND Above)))))		 Mid-level-ontology.kif 4418-4429 If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W
(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))		 Mid-level-ontology.kif 10215-10220 If X is an instance of fog, then there exists Y such that Y is an instance of land area and X meets Y
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))		 Mid-level-ontology.kif 16887-16894 If X is an instance of balcony, then there exist Y, Z such that Y meets X, Z is an instance of land area, Y is located at Z, and X is above to Z
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))		 Mid-level-ontology.kif 19639-19646 If X is an instance of land transportation, then there exist Y, Z such that Y is an instance of land vehicle, Z is an instance of land area, Y is an instrument for X, and Y is located at Z
(=>
    (instance ?MINE LandMine)
    (hasPurpose ?MINE
        (exists (?L ?E ?M ?O)
            (and
                (instance ?L LandArea)
                (located ?MINE ?L)
                (instance ?E Explosion)
                (instrument ?E ?MINE)
                (locatedAtTime ?MINE
                    (WhenFn ?E) ?L)
                (causes ?M ?E)
                (instance ?M Motion)
                (eventLocated ?M ?L)
                (origin ?M ?O)
                (orientation ?O ?MINE On)
                (or
                    (instance ?O Human)
                    (instance ?O LandVehicle))))))		 Mid-level-ontology.kif 19729-19747 If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))		 Mid-level-ontology.kif 23426-23456 If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W
(=>
    (instance ?X PublicAddressSystem)
    (hasPurpose ?X
        (exists (?RS ?AREA ?GRP)
            (and
                (instance ?AREA LandArea)
                (located ?X ?AREA)
                (instance ?GRP GroupOfPeople)
                (located ?GRP ?AREA)
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (forall (?PERSON)
                    (=>
                        (member ?PERSON ?GRP)
                        (exists (?HEAR)
                            (and
                                (instance ?HEAR Hearing)
                                (patient ?HEAR ?RS)
                                (agent ?HEAR ?PERSON)))))))))		 Mid-level-ontology.kif 28752-28770 If X is an instance of public address system, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of land area (3) X is located at Z (4) W is an instance of group of people (5) W is located at Z (6) Y is an instance of radiating sound (7) X is an instrument for Y (8) V V is a member of Wthere exists U such that U is an instance of hearing (9) Y is a patient of U (10) V is an agent of U
(=>
    (instance ?LAND LandingWaterLand)
    (exists (?REGION ?WATERTRANS)
        (and
            (instance ?REGION LandArea)
            (destination ?LAND ?REGION)
            (subProcess ?WATERTRANS ?LAND)
            (instance ?WATERTRANS WaterTransportation))))		 MilitaryProcesses.kif 830-837 If X is an instance of landing water land, then there exist Y, Z such that Y is an instance of land area, X ends up at Y, Z is a subprocess of X, and Z is an instance of water transportation
(=>
    (instance ?B Bridge)
    (hasPurpose ?B
        (exists (?T ?X)
            (and
                (instance ?T Translocation)
                (path ?T ?B)
                (orientation ?B ?X Above)
                (or
                    (instance ?X LandArea)
                    (instance ?X BodyOfWater))))))		 Transportation.kif 1767-1777 If X is an instance of bridge, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, X is above to Z, and Z is an instance of land area or Z is an instance of body of water
(=>
    (and
        (instance ?TC TropicalCyclone)
        (destination ?TC ?DEST)
        (instance ?DEST GeographicArea))
    (not
        (exists (?L ?SL ?X)
            (and
                (instance ?L LandArea)
                (instance ?SL Shoreline)
                (located ?DEST ?L)
                (distance ?L ?SL
                    (MeasureFn ?X Mile))
                (greaterThan ?X 200.0)))))		 Weather.kif 1134-1147 If X is an instance of tropical cyclone, X ends up at Y, and Y is an instance of geographic area, then there don't exist Z, W and V such that Z is an instance of land area and W is an instance of shoreline and Y is located at Z and the distance between Z and W is V mile(s) and V is greater than 200.0
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30.0)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))		 Weather.kif 2451-2472 If X is an instance of dust storm, Y is an instance of wind, and X is a subprocess of Y, then there exist Z, W,, , V,, , U,, , T and S such that U is an instance of land area and Y is located at U and S knot unit of speed(s) is a surface wind speed of U and S is greater than 30.0 and Z is an instance of translocation and Z is a subprocess of X and the object transferred in Z is W and the object transferred in Z is V and W is an instance of PM and V is an instance of sand and T is an instance of land area and Z ends up at T and U and T doesn't overlapsSpatially


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