MountainousTerrain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MountainousTerrain

MountainousTerrain(mountainous terrain)

more pictures...

appearance as argument number 1

(documentation MountainousTerrain EnglishLanguage "An area of MountainousTerrain is an area of rugged terrain in which there are many mountains.")	Geography.kif 1790-1791
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg")	pictureList.kif 8604-8604
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg")	pictureList.kif 9445-9445
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg")	pictureList.kif 9446-9446
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg")	pictureList.kif 9447-9447
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg")	pictureList.kif 9448-9448
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG")	pictureList.kif 9449-9449
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg")	pictureList.kif 9450-9450
(instance MountainousTerrain TerrainAttribute)	Geography.kif 1787-1787	Mountainous terrain is an instance of terrain attribute
(subAttribute MountainousTerrain SteepTerrain)	Geography.kif 1788-1788	Mountainous terrain is a subattribute of steep terrain

appearance as argument number 2

(termFormat ChineseLanguage MountainousTerrain "多山的地形")	domainEnglishFormat.kif 39015-39015
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形")	domainEnglishFormat.kif 39014-39014
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain")	domainEnglishFormat.kif 39013-39013

antecedent

(=> (and (instance ?piedmont Piedmont) (attribute ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent) (instance ?U UnitOfLength) (height ?piedmont (MeasureFn ?height1 ?U)) (height ?mountains (MeasureFn ?height2 ?U))) (greaterThan ?height2 ?height1))	Geography.kif 4206-4216	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (located ?MTN ?AREA))))	Geography.kif 1808-1813	If mountainous terrain is an attribute of an object, then there exists a physical such that the physical is an instance of mountain and the physical is located at the object
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (part ?MTN ?AREA))))	Geography.kif 1801-1806	If mountainous terrain is an attribute of an object, then there exists another object such that the other object is an instance of mountain and the other object is a part of the object
(=> (attribute ?AREA MountainousTerrain) (instance ?AREA LandArea))	Geography.kif 1793-1795	If mountainous terrain is an attribute of an object, then the object is an instance of land area
(=> (attribute ?AREA MountainousTerrain) (instance ?AREA UplandArea))	Geography.kif 1797-1799	If mountainous terrain is an attribute of an object, then the object is an instance of upland area

consequent

(=> (instance ?AREA MountainRange) (attribute ?AREA MountainousTerrain))	Geography.kif 1815-1817	If an object is an instance of mountain range, then mountainous terrain is an attribute of the object
(=> (instance ?piedmont Piedmont) (exists (?mountains) (and (instance ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent))))	Geography.kif 4199-4204	If an object is an instance of piedmont, then there exists another object such that the other object is an instance of mountainous terrain and the object is adjacent to the other object

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