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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandForm
LandForm(land form)Pillars_of_Hercules, land_form, 土地形式

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 3758-3760
(subclass LandForm GeographicArea) Geography.kif 3757-3757 Land form is a subclass of geographic area

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


(subclass Archipelago LandForm) Geography.kif 5502-5502 Archipelago is a subclass of land form
(subclass Basin LandForm) Geography.kif 4012-4012 Basin is a subclass of land form
(subclass Butte LandForm) Geography.kif 3946-3946 Butte is a subclass of land form
(subclass Canyon LandForm) Geography.kif 4025-4025 Canyon is a subclass of land form
(subclass Cape LandForm) Geography.kif 5468-5468 Cape is a subclass of land form
(subclass CaveMatrix LandForm) Geography.kif 5629-5629 Cave matrix is a subclass of land form
(subclass Delta LandForm) Geography.kif 5437-5437 Delta is a subclass of land form
(subclass Glacier LandForm) Geography.kif 5580-5580 Glacier is a subclass of land form
(subclass Hill LandForm) Geography.kif 3822-3822 Hill is a subclass of land form
(subclass LowlandArea LandForm) Geography.kif 3766-3766 Lowland area is a subclass of land form
(subclass MaritimeHazard LandForm) Weather.kif 887-887 Maritime hazard is a subclass of land form
(subclass Mesa LandForm) Geography.kif 3928-3928 Mesa is a subclass of land form
(subclass Mountain LandForm) Geography.kif 3805-3805 Mountain is a subclass of land form
(subclass MountainRange LandForm) Geography.kif 3791-3791 Mountain range is a subclass of land form
(subclass Peninsula LandForm) Geography.kif 5454-5454 Peninsula is a subclass of land form
(subclass Plateau LandForm) Geography.kif 3909-3909 Plateau is a subclass of land form
(subclass Reef LandForm) Geography.kif 5524-5524 Reef is a subclass of land form
(subclass RiverBank LandForm) Geography.kif 5418-5418 River bank is a subclass of land form
(subclass Seacoast LandForm) Geography.kif 5701-5701 Seacoast is a subclass of land form
(subclass SlopedArea LandForm) Geography.kif 3880-3880 Sloped area is a subclass of land form
(subclass UplandArea LandForm) Geography.kif 3762-3762 Upland area is a subclass of land form
(subclass Valley LandForm) Geography.kif 3998-3998 Valley is a subclass of land form
(subclass Volcano LandForm) Geography.kif 3836-3836 Volcano is a subclass of land form
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33127-33127 "土地形式" is the printable form of land form in ChineseLanguage
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33126-33126 "土地形式" is the printable form of land form in ChineseTraditionalLanguage

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 1863-1871
(=>
    (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 2618-2630

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


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


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