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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandArea

 Sigma KEE - LandArea
LandArea(SuperficieTerrestre)

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 14154-14157
(subclass LandArea GeographicArea) Merge.kif 14153-14153 SuperficieTerrestre è una sottoclasse di AreaGeografica

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


(instance AmericanSamoa LandArea) CountriesAndRegions.kif 639-639 AmericanSamoa è un' istanza di SuperficieTerrestre
(instance Anguilla LandArea) CountriesAndRegions.kif 416-416 Anguilla è un' istanza di SuperficieTerrestre
(instance AntarcticArea LandArea) Geography.kif 3624-3624 AntarcticArea è un' istanza di SuperficieTerrestre
(instance Aruba LandArea) CountriesAndRegions.kif 417-417 Aruba è un' istanza di SuperficieTerrestre
(instance AshmoreAndCartierIslands LandArea) CountriesAndRegions.kif 592-592 AshmoreAndCartierIslands è un' istanza di SuperficieTerrestre
(instance BakerIsland LandArea) CountriesAndRegions.kif 640-640 BakerIsland è un' istanza di SuperficieTerrestre
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 Bermuda è un' istanza di SuperficieTerrestre
(instance BritishIndianOceanTerritory LandArea) CountriesAndRegions.kif 565-565 BritishIndianOceanTerritory è un' istanza di SuperficieTerrestre
(instance BritishVirginIslands LandArea) CountriesAndRegions.kif 418-418 BritishVirginIslands è un' istanza di SuperficieTerrestre
(instance CaymanIslands LandArea) CountriesAndRegions.kif 419-419 CaymanIslands è un' istanza di SuperficieTerrestre
(instance ChristmasIsland LandArea) CountriesAndRegions.kif 593-593 ChristmasIsland è un' istanza di SuperficieTerrestre
(instance ClippertonIsland LandArea) CountriesAndRegions.kif 469-469 ClippertonIsland è un' istanza di SuperficieTerrestre
(instance CocosKeelingIslands LandArea) CountriesAndRegions.kif 594-594 CocosKeelingIslands è un' istanza di SuperficieTerrestre
(instance CookIslands LandArea) CountriesAndRegions.kif 641-641 CookIslands è un' istanza di SuperficieTerrestre
(instance CoralSeaIslands LandArea) CountriesAndRegions.kif 642-642 CoralSeaIslands è un' istanza di SuperficieTerrestre
(instance FalklandIslands LandArea) CountriesAndRegions.kif 492-492 FalklandIslands è un' istanza di SuperficieTerrestre
(instance FaroeIslands LandArea) CountriesAndRegions.kif 311-311 FaroeIslands è un' istanza di SuperficieTerrestre
(instance FrenchGuiana LandArea) CountriesAndRegions.kif 491-491 FrenchGuiana è un' istanza di SuperficieTerrestre
(instance FrenchPolynesia LandArea) CountriesAndRegions.kif 643-643 FrenchPolynesia è un' istanza di SuperficieTerrestre
(instance FrenchSouthernAndAntarcticLands LandArea) CountriesAndRegions.kif 587-587 FrenchSouthernAndAntarcticLands è un' istanza di SuperficieTerrestre
(instance GazaStrip LandArea) CountriesAndRegions.kif 237-237 GazaStrip è un' istanza di SuperficieTerrestre
(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 Gibraltar è un' istanza di SuperficieTerrestre
(instance Greenland LandArea) CountriesAndRegions.kif 401-401 Greenland è un' istanza di SuperficieTerrestre
(instance Guadeloupe LandArea) CountriesAndRegions.kif 420-420 Guadeloupe è un' istanza di SuperficieTerrestre
(instance Guernsey LandArea) CountriesAndRegions.kif 344-344 Guernsey è un' istanza di SuperficieTerrestre

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 4285-4285 Il numero 1 argomenti di groundSubsurfaceType è un istanza di SuperficieTerrestre
(domain groundSurfaceType 1 LandArea) Geography.kif 4278-4278 Il numero 1 argomenti di groundSurfaceType è un istanza di SuperficieTerrestre
(domain slopeGradient 1 LandArea) Geography.kif 1674-1674 Il numero 1 argomenti di slopeGradient è un istanza di SuperficieTerrestre
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 1687-1687 Il numero 1 argomenti di slopeGradientTowardsOrientation è un istanza di SuperficieTerrestre
(partition GeographicArea WaterArea LandArea) Merge.kif 14032-14032 AreaGeografica è esaustivamente partizionato in SuperficieAcquatica + SuperficieTerrestre

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 5711-5718
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))		 Geography.kif 5720-5725
(=>
    (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 6779-6792
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 1843-1849
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 1835-1841
(=>
    (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 4288-4297
(=>
    (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 4247-4257
(=>
    (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 4231-4241
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 14159-14166

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


(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))		 Geography.kif 1742-1746
(=>
    (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 14208-14214
(=>
    (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 5823-5837
(=>
    (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)
        (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 21147-21177
(=>
    (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 2178-2196
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))		 Geography.kif 1793-1795
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))		 Geography.kif 952-957
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))		 Mid-level-ontology.kif 15385-15392
(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))		 Geography.kif 595-601
(=>
    (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 8969-8974
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))		 Geography.kif 5225-5230
(=>
    (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 14194-14206
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))		 Mid-level-ontology.kif 17771-17778
(=>
    (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 4791-4796
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))		 Geography.kif 6771-6777
(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))		 Merge.kif 14289-14297
(=>
    (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 3958-3969
(=>
    (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 26104-26122


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