MountainousTerrain
|
|
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 | MountainousTerrain ist ein fall von TerrainAttribute %n{nicht} |
(subAttribute MountainousTerrain SteepTerrain) | Geography.kif 1788-1788 | MountainousTerrain ist ein teilattribut von SteepTerrain |
appearance as argument number 2 |
(termFormat ChineseLanguage MountainousTerrain "多山的地形") | domainEnglishFormat.kif 38981-38981 | |
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形") | domainEnglishFormat.kif 38980-38980 | |
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain") | domainEnglishFormat.kif 38979-38979 |
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 |
|
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (located ?MTN ?AREA)))) |
Geography.kif 1808-1813 |
|
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (part ?MTN ?AREA)))) |
Geography.kif 1801-1806 |
|
(=> (attribute ?AREA MountainousTerrain) (instance ?AREA LandArea)) |
Geography.kif 1793-1795 | |
(=> (attribute ?AREA MountainousTerrain) (instance ?AREA UplandArea)) |
Geography.kif 1797-1799 |
|
consequent |
(=> (instance ?AREA MountainRange) (attribute ?AREA MountainousTerrain)) |
Geography.kif 1815-1817 |
|
(=> (instance ?piedmont Piedmont) (exists (?mountains) (and (instance ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent)))) |
Geography.kif 4199-4204 |
|