Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(instance RockyMountains MountainRange) Geography.kif 346-346 Rocky Mountains is an instance of mountain range
(instance KlamathMountains MountainRange) Geography.kif 419-419 Klamath Mountains is an instance of mountain range
(instance CaliforniaCoastRanges MountainRange) Geography.kif 431-431 California Coast Ranges is an instance of mountain range
(instance TransverseRanges MountainRange) Geography.kif 1280-1280 Transverse Ranges is an instance of mountain range
(instance PeninsularRanges MountainRange) Geography.kif 1298-1298 Peninsular Ranges is an instance of mountain range
(instance SierraNevada MountainRange) Geography.kif 1328-1328 Sierra Nevada is an instance of mountain range
(instance CentralValleyCalifornia MountainRange) Geography.kif 1390-1390 Central Valley California is an instance of mountain range
(instance AndesMountains MountainRange) Geography.kif 1413-1413 Andes Mountains is an instance of mountain range
(termFormat EnglishLanguage MountainRange "mountain range") domainEnglishFormat.kif 38987-38987 Andes Mountains is an instance of mountain range
(termFormat ChineseTraditionalLanguage MountainRange "山脈") domainEnglishFormat.kif 38988-38988 Andes Mountains is an instance of mountain range
(termFormat ChineseLanguage MountainRange "山脉") domainEnglishFormat.kif 38989-38989 Andes Mountains is an instance of mountain range

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


(=>
    (instance ?AREA MountainRange)
    (attribute ?AREA MountainousTerrain))		 Geography.kif 3266-3268 If X is an instance of mountain range, then mountainous terrain is an attribute of X
(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 5529-5537 If X is an instance of mountain range and Y is a part of X, then there exists Z such that Z is a component of X, Z is an instance of mountain, and Y meets Z
(=>
    (and
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))		 Weather.kif 2160-2166 If X is an instance of interior chinook wind, X is located at Y, Y is a geographic subregion of Western NorthAmerica, and Z is an instance of mountain range, then Y is east of to Z
(=>
    (and
        (instance ?W FohnWind)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (instance ?M MountainRange))
    (orientation ?A ?M Downwind))		 Weather.kif 2187-2193 If X is an instance of Fohn wind, X is located at Y, Y is an instance of geographic area, and Z is an instance of mountain range, then Y is downwind from to Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners