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 1778-1779
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg")	pictureList.kif 8603-8603
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg")	pictureList.kif 9444-9444
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg")	pictureList.kif 9445-9445
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg")	pictureList.kif 9446-9446
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg")	pictureList.kif 9447-9447
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG")	pictureList.kif 9448-9448
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg")	pictureList.kif 9449-9449
(instance MountainousTerrain TerrainAttribute)	Geography.kif 1775-1775	Mountainous terrain is an instance of terrain attribute
(subAttribute MountainousTerrain SteepTerrain)	Geography.kif 1776-1776	Mountainous terrain is a subattribute of steep terrain

appearance as argument number 2

(termFormat ChineseLanguage MountainousTerrain "多山的地形")	domainEnglishFormat.kif 39010-39010
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形")	domainEnglishFormat.kif 39009-39009
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain")	domainEnglishFormat.kif 39008-39008

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 4182-4192	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 1796-1801	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 1789-1794	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 1781-1783	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 1785-1787	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 1803-1805	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 4175-4180	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