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 3898-3900
(subclass LandForm GeographicArea) Geography.kif 3897-3897

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


(subclass Archipelago LandForm) Geography.kif 5738-5738
(subclass Basin LandForm) Geography.kif 4165-4165
(subclass Butte LandForm) Geography.kif 4094-4094
(subclass Canyon LandForm) Geography.kif 4181-4181
(subclass Cape LandForm) Geography.kif 5704-5704
(subclass CaveMatrix LandForm) Geography.kif 5945-5945
(subclass Delta LandForm) Geography.kif 5673-5673
(subclass Glacier LandForm) Geography.kif 5895-5895
(subclass Hill LandForm) Geography.kif 3965-3965
(subclass LowlandArea LandForm) Geography.kif 3906-3906
(subclass Mesa LandForm) Geography.kif 4076-4076
(subclass Mountain LandForm) Geography.kif 3948-3948
(subclass MountainRange LandForm) Geography.kif 3934-3934
(subclass Peninsula LandForm) Geography.kif 5690-5690
(subclass Plateau LandForm) Geography.kif 4057-4057
(subclass Reef LandForm) Geography.kif 5834-5834
(subclass RiverBank LandForm) Geography.kif 5654-5654
(subclass Seacoast LandForm) Geography.kif 6017-6017
(subclass Shoal LandForm) Geography.kif 5808-5808
(subclass SlopedArea LandForm) Geography.kif 4023-4023
(subclass UplandArea LandForm) Geography.kif 3902-3902
(subclass Valley LandForm) Geography.kif 4148-4148
(subclass Volcano LandForm) Geography.kif 3979-3979
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33204-33204
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33203-33203

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 1925-1933
(=>
    (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 2692-2705

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5817-5824
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2685-2690


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