| appearance as argument number 1 |
|
|
| (documentation MountainRange EnglishLanguage "A MountainRange is a row or chain of connected mountains.") | Geography.kif 3806-3806 | |
| (externalImage MountainRange "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c7/ Wallis_Allalinpass_pano_mg-k.jpg/ 256px-Wallis_Allalinpass_pano_mg-k.jpg") | pictureList.kif 1192-1192 | |
| (subclass MountainRange LandForm) | Geography.kif 3804-3804 | Mountain range is a subclass of land form |
| (subclass MountainRange UplandArea) | Geography.kif 3805-3805 | Mountain range is a subclass of upland area |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MountainRange "山脉") | domainEnglishFormat.kif 38881-38881 | |
| (termFormat ChineseTraditionalLanguage MountainRange "山脈") | domainEnglishFormat.kif 38880-38880 | |
| (termFormat EnglishLanguage MountainRange "mountain range") | domainEnglishFormat.kif 38879-38879 |
| antecedent |
|
|
| (=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 3808-3816 |
|
| (=> (instance ?AREA MountainRange) (attribute ?AREA MountainousTerrain)) |
Geography.kif 1768-1770 |
|
|
|
|