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 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 14169-14172
(documentation LandArea EnglishLanguage "这是一处主要是坚实地面组成的地区,例如: Nation、山、 沙漠等等。注:LandArea 有可能包含相对小范围的 WaterArea。例如:澳大利亚是一处 LandArea,虽然它也 有各种各样的河流和湖泊。") Merge.kif 14173-14175
(subclass LandArea GeographicArea) Merge.kif 14168-14168

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


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

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 4051-4051
(domain groundSurfaceType 1 LandArea) Geography.kif 4044-4044
(domain slopeGradient 1 LandArea) Geography.kif 1615-1615
(domain slopeGradientTowardsOrientation 1 LandArea) Geography.kif 1628-1628
(partition GeographicArea WaterArea LandArea) Merge.kif 14029-14029

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


(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))
Geography.kif 5381-5386
(=>
    (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 5372-5379
(=>
    (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 6104-6114
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1784-1790
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1776-1782
(=>
    (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 4054-4063
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (earthAltitude ?basin ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4016-4023
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (earthAltitude ?valley ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4003-4010
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14177-14184

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


(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))
Geography.kif 1683-1687
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 14233-14239
(=>
    (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 5484-5498
(=>
    (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 18837-18866
(=>
    (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 2127-2139
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1734-1736
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))
Geography.kif 938-943
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))
Mid-level-ontology.kif 13070-13077
(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))
Geography.kif 599-605
(=>
    (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 1301-1310
(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))
Mid-level-ontology.kif 8642-8647
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 4889-4894
(=>
    (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 14219-14231
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 15362-15369
(=>
    (instance ?LAND LandingWaterLand)
    (exists (?REGION ?WATERTRANS)
        (and
            (instance ?REGION LandArea)
            (destination ?LAND ?REGION)
            (subProcess ?WATERTRANS ?LAND)
            (instance ?WATERTRANS WaterTransportation))))
MilitaryProcesses.kif 800-807
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4466-4471
(=>
    (instance ?SINKING LandSubsidence)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (eventLocated ?SINKING ?LAND)
            (patient ?SINKING ?LAND))))
Geography.kif 6096-6102
(=>
    (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 4489-4500
(=>
    (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 24092-24110


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners