Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MountainRange
MountainRange(mountain range)
Adirondack_Mountains, Adirondacks, Admiralty_Range, Alaska_Range, Alleghenies, Allegheny_Mountains, Alps, Altai_Mountains, Altay_Mountains, Andes, Apennines, Appalachian_Mountains, Appalachians, Atlas_Mountains, Australian_Alps, Balkan_Mountain_Range, Balkan_Mountains, Balkans, Berkshire_Hills, Berkshires, Black_Hills, Blue_Ridge, Blue_Ridge_Mountains, Cantabrian_Mountains, Carpathian_Mountains, Carpathians, Cascade_Mountains, Cascade_Range, Cascades, Catskill_Mountains, Catskills, Caucasus, Caucasus_Mountains, Coast_Mountains, Coast_Range, Cumberland_Mountains, Cumberland_Plateau, Dolomite_Alps, Eastern_Highlands, Great_Dividing_Range, Great_Smoky_Mountains, Green_Mountains, Guadalupe_Mountains, High_Sierra, Himalaya, Himalaya_Mountains, Himalayas, Hindu_Kush, Hindu_Kush_Mountains, Karakoram...

appearance as argument number 1
-------------------------


(documentation MountainRange EnglishLanguage "A MountainRange is a row or chain of connected mountains.") Geography.kif 4254-4254
(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 4252-4252 Mountain range is a subclass of land form
(subclass MountainRange UplandArea) Geography.kif 4253-4253 Mountain range is a subclass of upland area

appearance as argument number 2
-------------------------


(instance AndesMountains MountainRange) Geography.kif 376-376 Andes Mountains is an instance of mountain range
(instance RockyMountains MountainRange) Geography.kif 346-346 Rocky Mountains is an instance of mountain range
(termFormat ChineseLanguage MountainRange "山脉") domainEnglishFormat.kif 38996-38996 Rocky Mountains is an instance of mountain range
(termFormat ChineseTraditionalLanguage MountainRange "山脈") domainEnglishFormat.kif 38995-38995 Rocky Mountains is an instance of mountain range
(termFormat EnglishLanguage MountainRange "mountain range") domainEnglishFormat.kif 38994-38994 Rocky Mountains is an instance of mountain range

antecedent
-------------------------


(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))
Geography.kif 4256-4264
(=>
    (and
        (instance ?W FohnWind)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (instance ?M MountainRange))
    (orientation ?A ?M Downwind))
Weather.kif 1742-1748
(=>
    (and
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))
Weather.kif 1715-1721
(=>
    (instance ?AREA MountainRange)
    (attribute ?AREA MountainousTerrain))
Geography.kif 1973-1975


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