TreeView 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 3976-3978
(subclass LandForm GeographicArea)	Geography.kif 3975-3975	LandForm ist eine teilkategorie von GeographicArea

appearance as argument number 2

(subclass Archipelago LandForm)	Geography.kif 5841-5841	Archipelago ist eine teilkategorie von LandForm
(subclass Basin LandForm)	Geography.kif 4243-4243	Basin ist eine teilkategorie von LandForm
(subclass Butte LandForm)	Geography.kif 4172-4172	Butte ist eine teilkategorie von LandForm
(subclass Canyon LandForm)	Geography.kif 4259-4259	Canyon ist eine teilkategorie von LandForm
(subclass Cape LandForm)	Geography.kif 5807-5807	Cape ist eine teilkategorie von LandForm
(subclass CaveMatrix LandForm)	Geography.kif 6048-6048	CaveMatrix ist eine teilkategorie von LandForm
(subclass Delta LandForm)	Geography.kif 5776-5776	Delta ist eine teilkategorie von LandForm
(subclass Glacier LandForm)	Geography.kif 5998-5998	Glacier ist eine teilkategorie von LandForm
(subclass Hill LandForm)	Geography.kif 4043-4043	Hill ist eine teilkategorie von LandForm
(subclass LowlandArea LandForm)	Geography.kif 3984-3984	LowlandArea ist eine teilkategorie von LandForm
(subclass Mesa LandForm)	Geography.kif 4154-4154	Mesa ist eine teilkategorie von LandForm
(subclass Mountain LandForm)	Geography.kif 4026-4026	Mountain ist eine teilkategorie von LandForm
(subclass MountainRange LandForm)	Geography.kif 4012-4012	MountainRange ist eine teilkategorie von LandForm
(subclass Peninsula LandForm)	Geography.kif 5793-5793	Peninsula ist eine teilkategorie von LandForm
(subclass Plateau LandForm)	Geography.kif 4135-4135	Plateau ist eine teilkategorie von LandForm
(subclass Reef LandForm)	Geography.kif 5937-5937	Reef ist eine teilkategorie von LandForm
(subclass RiverBank LandForm)	Geography.kif 5757-5757	RiverBank ist eine teilkategorie von LandForm
(subclass Seacoast LandForm)	Geography.kif 6120-6120	Seacoast ist eine teilkategorie von LandForm
(subclass Shoal LandForm)	Geography.kif 5911-5911	Shoal ist eine teilkategorie von LandForm
(subclass SlopedArea LandForm)	Geography.kif 4101-4101	SlopedArea ist eine teilkategorie von LandForm
(subclass UplandArea LandForm)	Geography.kif 3980-3980	UplandArea ist eine teilkategorie von LandForm
(subclass Valley LandForm)	Geography.kif 4226-4226	Valley ist eine teilkategorie von LandForm
(subclass Volcano LandForm)	Geography.kif 4057-4057	Volcano ist eine teilkategorie von LandForm
(termFormat ChineseLanguage LandForm "土地形式")	domainEnglishFormat.kif 33217-33217
(termFormat ChineseTraditionalLanguage LandForm "土地形式")	domainEnglishFormat.kif 33216-33216

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 1922-1930	Wenn elevation SelfConnectedObject and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und SelfConnectedObject ist ein fall von LandForm %n{nicht}, dann es gibt SelfConnectedObject um die oberseite von SelfConnectedObject ist SelfConnectedObject und der abstand zwischen SelfConnectedObject und SeaLevel ist RealNumber UnitOfMeasure(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 2689-2702	Wenn Process ist ein fall von Erosion %n{nicht} und Physical ist ein fall von LandForm %n{nicht} und Physical ist ein patient von Process %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von Physical ist RealNumber UnitOfMeasure(s) %n{nicht}, dann es gibt entity um das mass von Physical ist entity UnitOfMeasure(s) %n{nicht} und entity ist kleinerAls RealNumber %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}

consequent

(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5920-5927	Wenn Object ist ein fall von Shoal %n{nicht}, dann es gibt Object und Object um Object ist ein fall von LandForm %n{nicht} und most Object and Object und Object ist ein fall von BodyOfWater %n{nicht} und covers Object and ** Object
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm))))	Geography.kif 2682-2687	Wenn Process ist ein fall von Erosion %n{nicht}, dann es gibt Entity um Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von LandForm %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: