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 subclass LandForm and GeographicArea

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


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

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