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 4045-4047
(subclass LandForm GeographicArea)	Geography.kif 4044-4044	Land form is a subclass of geographic area

appearance as argument number 2

(subclass Archipelago LandForm)	Geography.kif 5910-5910	Archipelago is a subclass of land form
(subclass Basin LandForm)	Geography.kif 4312-4312	Basin is a subclass of land form
(subclass Butte LandForm)	Geography.kif 4241-4241	Butte is a subclass of land form
(subclass Canyon LandForm)	Geography.kif 4328-4328	Canyon is a subclass of land form
(subclass Cape LandForm)	Geography.kif 5876-5876	Cape is a subclass of land form
(subclass CaveMatrix LandForm)	Geography.kif 6117-6117	Cave matrix is a subclass of land form
(subclass Delta LandForm)	Geography.kif 5845-5845	Delta is a subclass of land form
(subclass Glacier LandForm)	Geography.kif 6067-6067	Glacier is a subclass of land form
(subclass Hill LandForm)	Geography.kif 4112-4112	Hill is a subclass of land form
(subclass LowlandArea LandForm)	Geography.kif 4053-4053	Lowland area is a subclass of land form
(subclass Mesa LandForm)	Geography.kif 4223-4223	Mesa is a subclass of land form
(subclass Mountain LandForm)	Geography.kif 4095-4095	Mountain is a subclass of land form
(subclass MountainRange LandForm)	Geography.kif 4081-4081	Mountain range is a subclass of land form
(subclass Peninsula LandForm)	Geography.kif 5862-5862	Peninsula is a subclass of land form
(subclass Plateau LandForm)	Geography.kif 4204-4204	Plateau is a subclass of land form
(subclass Reef LandForm)	Geography.kif 6006-6006	Reef is a subclass of land form
(subclass RiverBank LandForm)	Geography.kif 5826-5826	River bank is a subclass of land form
(subclass Seacoast LandForm)	Geography.kif 6189-6189	Seacoast is a subclass of land form
(subclass Shoal LandForm)	Geography.kif 5980-5980	Shoal is a subclass of land form
(subclass SlopedArea LandForm)	Geography.kif 4170-4170	Sloped area is a subclass of land form
(subclass UplandArea LandForm)	Geography.kif 4049-4049	Upland area is a subclass of land form
(subclass Valley LandForm)	Geography.kif 4295-4295	Valley is a subclass of land form
(subclass Volcano LandForm)	Geography.kif 4126-4126	Volcano is a subclass of land form
(termFormat ChineseLanguage LandForm "土地形式")	domainEnglishFormat.kif 33245-33245	Volcano is a subclass of land form
(termFormat ChineseTraditionalLanguage LandForm "土地形式")	domainEnglishFormat.kif 33244-33244	Volcano is a subclass of land form

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 1910-1918	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 unit of length 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) (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 2677-2690	If a process is an instance of erosion and a physical is an instance of land form and the physical is a patient of the process and an unit of measure is an instance of unit of volume and the measure of the physical is a real number the unit of measure(s), then there exists an entity such that the measure of the physical is the entity the unit of measure(s) and the entity is less than the real number holds during immediately after the time of existence of the process

consequent

(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5989-5996	If an object is an instance of shoal, then there exist another object and a third object such that the other object is an instance of land form and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm))))	Geography.kif 2670-2675	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: