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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandArea

Sigma KEE - LandArea
LandArea

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 13900-13903
(subclass LandArea GeographicArea) Merge.kif 13899-13899 subclass LandArea and GeographicArea

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


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

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 4207-4207 domain groundSubsurfaceType, 1 and LandArea
(domain groundSurfaceType 1 LandArea) Geography.kif 4200-4200 domain groundSurfaceType, 1 and LandArea
(domain slopeGradient 1 LandArea) Geography.kif 1677-1677 domain slopeGradient, 1 and LandArea
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 1690-1690 domain slopeGradientTowardsOrientation, 1 and LandArea
(partition GeographicArea WaterArea LandArea) Merge.kif 13778-13778 partition GeographicArea, WaterArea and LandArea

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 1597-1607
(=>
    (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 5608-5615
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))
Geography.kif 5617-5622
(=>
    (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 6467-6480
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1846-1852
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1838-1844
(=>
    (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 4210-4219
(=>
    (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 4169-4179
(=>
    (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 4153-4163
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 13905-13912

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


(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))
Geography.kif 1745-1749
(=>
    (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 1274-1295
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 13954-13960
(=>
    (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 5720-5734
(=>
    (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)
        (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 20447-20476
(=>
    (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 2181-2199
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1796-1798
(=>
    (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 14829-14836
(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))
Geography.kif 602-608
(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))
Mid-level-ontology.kif 8572-8577
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5123-5128
(=>
    (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 13940-13952
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 17163-17170
(=>
    (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 4689-4694
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))
Geography.kif 6459-6465
(=>
    (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 3905-3916
(=>
    (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 25471-25489


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