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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandArea

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
-------------------------


(documentation LandArea ChineseLanguage "这是一处主要是坚实地面组成的地区,例如: Nation、山、 沙漠等等。注:LandArea 有可能包含相对小范围的 WaterArea。例如:澳大利亚是一处 LandArea,虽然它也 有各种各样的河流和湖泊。") chinese_format.kif 1453-1455
(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 14008-14011
(subclass LandArea GeographicArea) Merge.kif 14007-14007 Land area is a subclass of geographic area

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


(instance AmericanSamoa LandArea) CountriesAndRegions.kif 639-639 American samoa is an instance of land area
(instance Anguilla LandArea) CountriesAndRegions.kif 416-416 Anguilla is an instance of land area
(instance AntarcticArea LandArea) Geography.kif 3556-3556 Antarctic area is an instance of land area
(instance Aruba LandArea) CountriesAndRegions.kif 417-417 Aruba is an instance of land area
(instance AshmoreAndCartierIslands LandArea) CountriesAndRegions.kif 592-592 Ashmore and cartier islands is an instance of land area
(instance BakerIsland LandArea) CountriesAndRegions.kif 640-640 Baker island is an instance of land area
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 Bermuda is an instance of land area
(instance BritishIndianOceanTerritory LandArea) CountriesAndRegions.kif 565-565 British indian ocean territory 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 ChristmasIsland LandArea) CountriesAndRegions.kif 593-593 Christmas island is an instance of land area
(instance ClippertonIsland LandArea) CountriesAndRegions.kif 469-469 Clipperton island is an instance of land area
(instance CocosKeelingIslands LandArea) CountriesAndRegions.kif 594-594 Cocos keeling islands is an instance of land area
(instance CookIslands LandArea) CountriesAndRegions.kif 641-641 Cook islands is an instance of land area
(instance CoralSeaIslands LandArea) CountriesAndRegions.kif 642-642 Coral sea islands is an instance of land area
(instance FalklandIslands LandArea) CountriesAndRegions.kif 492-492 Falkland islands is an instance of land area
(instance FaroeIslands LandArea) CountriesAndRegions.kif 311-311 Faroe islands is an instance of land area
(instance FrenchGuiana LandArea) CountriesAndRegions.kif 491-491 French guiana is an instance of land area
(instance FrenchPolynesia LandArea) CountriesAndRegions.kif 643-643 French polynesia is an instance of land area
(instance FrenchSouthernAndAntarcticLands LandArea) CountriesAndRegions.kif 587-587 French southern and antarctic lands is an instance of land area
(instance GazaStrip LandArea) CountriesAndRegions.kif 237-237 Gaza strip is an instance of land area
(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area
(instance Greenland LandArea) CountriesAndRegions.kif 401-401 Greenland is an instance of land area
(instance Guadeloupe LandArea) CountriesAndRegions.kif 420-420 Guadeloupe is an instance of land area
(instance Guernsey LandArea) CountriesAndRegions.kif 344-344 Guernsey 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 groundSubsurfaceType 1 LandArea) Geography.kif 4217-4217 The number 1 argument of ground subsurface type is an instance of land area
(domain groundSurfaceType 1 LandArea) Geography.kif 4210-4210 The number 1 argument of ground surface type is an instance of land area
(domain slopeGradient 1 LandArea) Geography.kif 1678-1678 The number 1 argument of slope gradient is an instance of land area
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 1691-1691 The number 1 argument of slope gradient towards orientation is an instance of land area
(partition GeographicArea WaterArea LandArea) Merge.kif 13886-13886 Geographic area is exhaustively partitioned into water area and land area

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


(=>
    (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 1598-1608
(=>
    (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 5618-5625
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))
Geography.kif 5627-5632
(=>
    (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 6477-6490
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1847-1853
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1839-1845
(=>
    (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 4220-4229
(=>
    (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 4179-4189
(=>
    (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 4163-4173
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14013-14020

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


(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))
Geography.kif 1746-1750
(=>
    (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 1275-1296
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 14062-14068
(=>
    (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 5730-5744
(=>
    (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 693-706
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (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 20925-20954
(=>
    (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 2182-2200
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1797-1799
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))
Geography.kif 959-964
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))
Mid-level-ontology.kif 15228-15235
(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))
Geography.kif 602-608
(=>
    (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 1359-1368
(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))
Mid-level-ontology.kif 8925-8930
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5133-5138
(=>
    (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 14048-14060
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 17587-17594
(=>
    (instance ?LAND LandingWaterLand)
    (exists (?REGION ?WATERTRANS)
        (and
            (instance ?REGION LandArea)
            (destination ?LAND ?REGION)
            (subProcess ?WATERTRANS ?LAND)
            (instance ?WATERTRANS WaterTransportation))))
MilitaryProcesses.kif 811-818
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4699-4704
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))
Geography.kif 6469-6475
(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))
Merge.kif 14143-14151
(=>
    (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 3916-3927


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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