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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13133-13136
(subclass LandArea GeographicArea) Merge.kif 13132-13132 土地面积 是 地理区域 的 subclass

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


(instance AmericanSamoa LandArea) CountriesAndRegions.kif 639-639 美国萨摩亚 是 土地面积 的 instance
(instance Anguilla LandArea) CountriesAndRegions.kif 416-416 安圭拉 是 土地面积 的 instance
(instance AntarcticArea LandArea) Geography.kif 3462-3462 南极地区 是 土地面积 的 instance
(instance Aruba LandArea) CountriesAndRegions.kif 417-417 阿鲁巴 是 土地面积 的 instance
(instance AshmoreAndCartierIslands LandArea) CountriesAndRegions.kif 592-592 阿什莫尔和卡地亚岛屿 是 土地面积 的 instance
(instance BakerIsland LandArea) CountriesAndRegions.kif 640-640 贝克岛 是 土地面积 的 instance
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 百慕大 是 土地面积 的 instance
(instance BritishIndianOceanTerritory LandArea) CountriesAndRegions.kif 565-565 英属印度洋领地 是 土地面积 的 instance
(instance BritishVirginIslands LandArea) CountriesAndRegions.kif 418-418 英属维尔京群岛 是 土地面积 的 instance
(instance CaymanIslands LandArea) CountriesAndRegions.kif 419-419 开曼群岛 是 土地面积 的 instance
(instance ChristmasIsland LandArea) CountriesAndRegions.kif 593-593 圣诞岛 是 土地面积 的 instance
(instance ClippertonIsland LandArea) CountriesAndRegions.kif 469-469 Clipperton岛 是 土地面积 的 instance
(instance CocosKeelingIslands LandArea) CountriesAndRegions.kif 594-594 科科斯基林群岛 是 土地面积 的 instance
(instance CookIslands LandArea) CountriesAndRegions.kif 641-641 库克群岛 是 土地面积 的 instance
(instance CoralSeaIslands LandArea) CountriesAndRegions.kif 642-642 珊瑚海岛屿 是 土地面积 的 instance
(instance FalklandIslands LandArea) CountriesAndRegions.kif 492-492 福克兰群岛 是 土地面积 的 instance
(instance FaroeIslands LandArea) CountriesAndRegions.kif 311-311 法罗群岛 是 土地面积 的 instance
(instance FrenchGuiana LandArea) CountriesAndRegions.kif 491-491 法属圭亚那 是 土地面积 的 instance
(instance FrenchPolynesia LandArea) CountriesAndRegions.kif 643-643 法属波利尼西亚 是 土地面积 的 instance
(instance FrenchSouthernAndAntarcticLands LandArea) CountriesAndRegions.kif 587-587 法国南部和南极的土地 是 土地面积 的 instance
(instance GazaStrip LandArea) CountriesAndRegions.kif 237-237 加沙地带 是 土地面积 的 instance
(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 直布罗陀 是 土地面积 的 instance
(instance Greenland LandArea) CountriesAndRegions.kif 401-401 格陵兰 是 土地面积 的 instance
(instance Guadeloupe LandArea) CountriesAndRegions.kif 420-420 瓜德罗普岛 是 土地面积 的 instance
(instance Guernsey LandArea) CountriesAndRegions.kif 344-344 根西岛 是 土地面积 的 instance

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 4064-4064 groundSubsurfaceType 的 1 数量 是 土地面积 的 instance
(domain groundSurfaceType 1 LandArea) Geography.kif 4057-4057 地面类型 的 1 数量 是 土地面积 的 instance
(domain slopeGradient 1 LandArea) Geography.kif 1627-1627 坡度 的 1 数量 是 土地面积 的 instance
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 1640-1640 坡度梯度朝向 的 1 数量 是 土地面积 的 instance
(partition GeographicArea WaterArea LandArea) Merge.kif 13011-13011 地理区域 详尽无遗地 partition 成 水域 和 土地面积

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


(=>
    (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 5387-5394
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))		 Geography.kif 5396-5401
(=>
    (and
        (instance ?SINKING LandSubsidence)
        (patient ?SINKING ?LAND)
        (instance ?LAND LandArea)
        (elevation ?LAND ?HEIGHT1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?SINKING))
        (exists (?HEIGHT2)
            (and
                (elevation ?LAND ?HEIGHT2)
                (lessThan ?HEIGHT2 ?HEIGHT1)))))		 Geography.kif 6120-6130
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))		 Geography.kif 1796-1802
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))		 Geography.kif 1788-1794
(=>
    (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 4067-4076
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (earthAltitude ?basin ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))		 Geography.kif 4029-4036
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (earthAltitude ?valley ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))		 Geography.kif 4016-4023
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 13138-13145

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


(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))		 Geography.kif 1695-1699
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (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 897-918
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 13187-13193
(=>
    (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 5499-5513
(=>
    (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 ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18864-18893
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 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 2139-2151
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))		 Geography.kif 1746-1748
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))		 Geography.kif 951-956
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))		 Mid-level-ontology.kif 13095-13102
(=>
    (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 1300-1309
(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))		 Mid-level-ontology.kif 8624-8629
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))		 Geography.kif 4903-4908
(=>
    (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 13173-13185
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))		 Mid-level-ontology.kif 15388-15395
(=>
    (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 4480-4485
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))		 Geography.kif 6112-6118
(=>
    (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 4490-4501
(=>
    (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 24130-24148


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