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

KB Term:  Term intersection
English Word: 

Sigma KEE - LandForm
LandForm

appearance as argument number 1
-------------------------


(subclass LandForm GeographicArea) Merge.kif 14362-14362
(documentation LandForm EnglishLanguage "A LandForm is the class of geographically and/ or geologically distinct areas that occur on Earth's surface, including mountains, hills, plains, valleys, deltas, and features of submerged land areas such as the ocean floor.") Merge.kif 14363-14365

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


(subclass Volcano LandForm) Merge.kif 1025-1025
(subclass UplandArea LandForm) Geography.kif 5493-5493
(subclass LowlandArea LandForm) Geography.kif 5497-5497
(subclass MountainRange LandForm) Geography.kif 5525-5525
(subclass Mountain LandForm) Geography.kif 5539-5539
(subclass Hill LandForm) Geography.kif 5561-5561
(subclass SlopedArea LandForm) Geography.kif 5605-5605
(subclass Plateau LandForm) Geography.kif 5639-5639
(subclass Mesa LandForm) Geography.kif 5658-5658
(subclass Butte LandForm) Geography.kif 5676-5676
(subclass Valley LandForm) Geography.kif 5730-5730
(subclass Basin LandForm) Geography.kif 5747-5747
(subclass Canyon LandForm) Geography.kif 5763-5763
(subclass RiverBank LandForm) Geography.kif 7357-7357
(subclass Delta LandForm) Geography.kif 7376-7376
(subclass Peninsula LandForm) Geography.kif 7393-7393
(subclass Cape LandForm) Geography.kif 7407-7407
(subclass Archipelago LandForm) Geography.kif 7441-7441
(subclass Shoal LandForm) Geography.kif 7511-7511
(subclass Reef LandForm) Geography.kif 7537-7537
(subclass Glacier LandForm) Geography.kif 7598-7598
(subclass CaveMatrix LandForm) Geography.kif 7648-7648
(subclass Seacoast LandForm) Geography.kif 7720-7720
(termFormat EnglishLanguage LandForm "land form") domainEnglishFormat.kif 33219-33219
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33220-33220

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (elevation ?OBJECT
            (MeasureFn ?NUM ?UNIT))
        (instance ?UNIT UnitOfLength)
        (instance ?OBJECT LandForm))
    (exists (?HIGHPOINT)
        (and
            (top ?HIGHPOINT ?OBJECT)
            (distance ?HIGHPOINT SeaLevel
                (MeasureFn ?NUM ?UNIT)))))		 Geography.kif 3373-3381
(=>
    (and
        (instance ?WEARING Erosion)
        (instance ?LAND LandForm)
        (patient ?WEARING ?LAND)
        (instance ?U UnitOfVolume)
        (measure ?LAND
            (MeasureFn ?SIZE1 ?U)))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?WEARING))
        (exists (?SIZE2)
            (and
                (measure ?LAND
                    (MeasureFn ?SIZE2 ?U))
                (lessThan ?SIZE2 ?SIZE1)))))		 Geography.kif 4125-4138

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


(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))		 Geography.kif 4118-4123
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 7520-7527


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners