LandForm - Sigma Knowledge base Browser

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	Land form is a subclass of geographic area

appearance as argument number 2

(subclass Archipelago LandForm)	Geography.kif 5517-5517	Archipelago is a subclass of land form
(subclass Basin LandForm)	Geography.kif 4025-4025	Basin is a subclass of land form
(subclass Butte LandForm)	Geography.kif 3959-3959	Butte is a subclass of land form
(subclass Canyon LandForm)	Geography.kif 4038-4038	Canyon is a subclass of land form
(subclass Cape LandForm)	Geography.kif 5483-5483	Cape is a subclass of land form
(subclass CaveMatrix LandForm)	Geography.kif 5644-5644	Cave matrix is a subclass of land form
(subclass Delta LandForm)	Geography.kif 5452-5452	Delta is a subclass of land form
(subclass Glacier LandForm)	Geography.kif 5595-5595	Glacier is a subclass of land form
(subclass Hill LandForm)	Geography.kif 3835-3835	Hill is a subclass of land form
(subclass LowlandArea LandForm)	Geography.kif 3779-3779	Lowland area is a subclass of land form
(subclass MaritimeHazard LandForm)	Weather.kif 964-964	Maritime hazard is a subclass of land form
(subclass Mesa LandForm)	Geography.kif 3941-3941	Mesa is a subclass of land form
(subclass Mountain LandForm)	Geography.kif 3818-3818	Mountain is a subclass of land form
(subclass MountainRange LandForm)	Geography.kif 3804-3804	Mountain range is a subclass of land form
(subclass Peninsula LandForm)	Geography.kif 5469-5469	Peninsula is a subclass of land form
(subclass Plateau LandForm)	Geography.kif 3922-3922	Plateau is a subclass of land form
(subclass Reef LandForm)	Geography.kif 5539-5539	Reef is a subclass of land form
(subclass RiverBank LandForm)	Geography.kif 5433-5433	River bank is a subclass of land form
(subclass Seacoast LandForm)	Geography.kif 5716-5716	Seacoast is a subclass of land form
(subclass SlopedArea LandForm)	Geography.kif 3893-3893	Sloped area is a subclass of land form
(subclass UplandArea LandForm)	Geography.kif 3775-3775	Upland area is a subclass of land form
(subclass Valley LandForm)	Geography.kif 4011-4011	Valley is a subclass of land form
(subclass Volcano LandForm)	Geography.kif 3849-3849	Volcano is a subclass of land form
(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	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of UnitOfLength and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
(=> (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	If a process is an instance of erosion and an object is an instance of land form and the object is a patient of the process and the measure of the object is a physical quantity and the physical quantity is an instance of volume measure, then there exists an entity such that the measure of the object is the entity and the entity is an instance of volume measure and the entity is less than the physical quantity holds during immediately after the time of existence of the process

consequent

(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))

Geography.kif 2623-2628

If a process is an instance of erosion,
then there exists an entity such that the entity is a patient of the process and the entity is an instance of land form

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

KB Term:			Term intersection

English Word: