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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3771-3773
(subclass LandForm GeographicArea) Geography.kif 3770-3770

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


(subclass Archipelago LandForm) Geography.kif 5517-5517
(subclass Basin LandForm) Geography.kif 4025-4025
(subclass Butte LandForm) Geography.kif 3959-3959
(subclass Canyon LandForm) Geography.kif 4038-4038
(subclass Cape LandForm) Geography.kif 5483-5483
(subclass CaveMatrix LandForm) Geography.kif 5644-5644
(subclass Delta LandForm) Geography.kif 5452-5452
(subclass Glacier LandForm) Geography.kif 5595-5595
(subclass Hill LandForm) Geography.kif 3835-3835
(subclass LowlandArea LandForm) Geography.kif 3779-3779
(subclass MaritimeHazard LandForm) Weather.kif 1181-1181
(subclass Mesa LandForm) Geography.kif 3941-3941
(subclass Mountain LandForm) Geography.kif 3818-3818
(subclass MountainRange LandForm) Geography.kif 3804-3804
(subclass Peninsula LandForm) Geography.kif 5469-5469
(subclass Plateau LandForm) Geography.kif 3922-3922
(subclass Reef LandForm) Geography.kif 5539-5539
(subclass RiverBank LandForm) Geography.kif 5433-5433
(subclass Seacoast LandForm) Geography.kif 5716-5716
(subclass SlopedArea LandForm) Geography.kif 3893-3893
(subclass UplandArea LandForm) Geography.kif 3775-3775
(subclass Valley LandForm) Geography.kif 4011-4011
(subclass Volcano LandForm) Geography.kif 3849-3849
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33136-33136
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33135-33135

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 1875-1883
(=>
    (and
        (instance ?WEARING Erosion)
        (instance ?LAND LandForm)
        (patient ?WEARING ?LAND)
        (measure ?LAND ?SIZE1)
        (instance ?SIZE1 VolumeMeasure))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?WEARING))
        (exists (?SIZE2)
            (and
                (measure ?LAND ?SIZE2)
                (instance ?SIZE2 VolumeMeasure)
                (lessThan ?SIZE2 ?SIZE1)))))
Geography.kif 2630-2642

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


(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2623-2628


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