MountainRange |
appearance as argument number 1 |
(documentation MountainRange EnglishLanguage "A MountainRange is a row or chain of connected mountains.") | Geography.kif 4014-4014 | |
(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 1191-1191 | |
(subclass MountainRange LandForm) | Geography.kif 4012-4012 | MountainRange è una sottoclasse di LandForm |
(subclass MountainRange UplandArea) | Geography.kif 4013-4013 | MountainRange è una sottoclasse di UplandArea |
appearance as argument number 2 |
(termFormat ChineseLanguage MountainRange "山脉") | domainEnglishFormat.kif 38987-38987 | |
(termFormat ChineseTraditionalLanguage MountainRange "山脈") | domainEnglishFormat.kif 38986-38986 | |
(termFormat EnglishLanguage MountainRange "mountain range") | domainEnglishFormat.kif 38985-38985 |
antecedent |
(=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 4016-4024 | |
(=> (instance ?AREA MountainRange) (attribute ?AREA MountainousTerrain)) |
Geography.kif 1815-1817 |
|