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 5528-5530
(subclass LandForm GeographicArea)	Geography.kif 5527-5527	LandForm is a subclass of geographic area

appearance as argument number 2

(subclass Archipelago LandForm)	Geography.kif 7456-7456	Archipelago is a subclass of LandForm
(subclass Basin LandForm)	Geography.kif 5795-5795	Basin is a subclass of LandForm
(subclass Butte LandForm)	Geography.kif 5724-5724	Butte is a subclass of LandForm
(subclass Canyon LandForm)	Geography.kif 5811-5811	Canyon is a subclass of LandForm
(subclass Cape LandForm)	Geography.kif 7422-7422	Cape is a subclass of LandForm
(subclass CaveMatrix LandForm)	Geography.kif 7663-7663	CaveMatrix is a subclass of LandForm
(subclass Delta LandForm)	Geography.kif 7391-7391	Delta is a subclass of LandForm
(subclass Glacier LandForm)	Geography.kif 7613-7613	Glacier is a subclass of LandForm
(subclass Hill LandForm)	Geography.kif 5595-5595	Hill is a subclass of LandForm
(subclass LowlandArea LandForm)	Geography.kif 5536-5536	LowlandArea is a subclass of LandForm
(subclass Mesa LandForm)	Geography.kif 5706-5706	Mesa is a subclass of LandForm
(subclass Mountain LandForm)	Geography.kif 5578-5578	Mountain is a subclass of LandForm
(subclass MountainRange LandForm)	Geography.kif 5564-5564	MountainRange is a subclass of LandForm
(subclass Peninsula LandForm)	Geography.kif 7408-7408	Peninsula is a subclass of LandForm
(subclass Plateau LandForm)	Geography.kif 5687-5687	Plateau is a subclass of LandForm
(subclass Reef LandForm)	Geography.kif 7552-7552	Reef is a subclass of LandForm
(subclass RiverBank LandForm)	Geography.kif 7372-7372	RiverBank is a subclass of LandForm
(subclass Seacoast LandForm)	Geography.kif 7735-7735	Seacoast is a subclass of LandForm
(subclass Shoal LandForm)	Geography.kif 7526-7526	Shoal is a subclass of LandForm
(subclass SlopedArea LandForm)	Geography.kif 5653-5653	SlopedArea is a subclass of LandForm
(subclass UplandArea LandForm)	Geography.kif 5532-5532	UplandArea is a subclass of LandForm
(subclass Valley LandForm)	Geography.kif 5778-5778	Valley is a subclass of LandForm
(subclass Volcano LandForm)	Geography.kif 5609-5609	Volcano is a subclass of LandForm
(termFormat ChineseLanguage LandForm "土地形式")	domainEnglishFormat.kif 33227-33227	Volcano is a subclass of LandForm
(termFormat ChineseTraditionalLanguage LandForm "土地形式")	domainEnglishFormat.kif 33226-33226	Volcano is a subclass of LandForm

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 3390-3398	If elevation a self connected object and a real number an unit of measure(s) and the unit of measure is an instance of UnitOfLength and the self connected object is an instance of LandForm, 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 SeaLevel 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 4157-4170	If a process is an instance of Erosion and a physical is an instance of LandForm and the physical is a patient of the process and an unit of measure is an instance of UnitOfVolume 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 7535-7542	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 LandForm and most the other object and the object and the third object is an instance of BodyOfWater and covers the third object and the other object
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm))))	Geography.kif 4150-4155	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 LandForm

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: