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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandForm

Sigma KEE - LandForm
LandForm

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


(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.") Geography.kif 3976-3978
(subclass LandForm GeographicArea) Geography.kif 3975-3975

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


(subclass Archipelago LandForm) Geography.kif 5841-5841
(subclass Basin LandForm) Geography.kif 4243-4243
(subclass Butte LandForm) Geography.kif 4172-4172
(subclass Canyon LandForm) Geography.kif 4259-4259
(subclass Cape LandForm) Geography.kif 5807-5807
(subclass CaveMatrix LandForm) Geography.kif 6048-6048
(subclass Delta LandForm) Geography.kif 5776-5776
(subclass Glacier LandForm) Geography.kif 5998-5998
(subclass Hill LandForm) Geography.kif 4043-4043
(subclass LowlandArea LandForm) Geography.kif 3984-3984
(subclass Mesa LandForm) Geography.kif 4154-4154
(subclass Mountain LandForm) Geography.kif 4026-4026
(subclass MountainRange LandForm) Geography.kif 4012-4012
(subclass Peninsula LandForm) Geography.kif 5793-5793
(subclass Plateau LandForm) Geography.kif 4135-4135
(subclass Reef LandForm) Geography.kif 5937-5937
(subclass RiverBank LandForm) Geography.kif 5757-5757
(subclass Seacoast LandForm) Geography.kif 6120-6120
(subclass Shoal LandForm) Geography.kif 5911-5911
(subclass SlopedArea LandForm) Geography.kif 4101-4101
(subclass UplandArea LandForm) Geography.kif 3980-3980
(subclass Valley LandForm) Geography.kif 4226-4226
(subclass Volcano LandForm) Geography.kif 4057-4057
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33217-33217
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33216-33216

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 1922-1930
(=>
    (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 2689-2702

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5920-5927
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2682-2687


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