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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mountain
Mountain
more pictures...

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


(documentation Mountain EnglishLanguage "A Mountain is a high, rocky LandForm, usually with steep sides and a pointed or rounded top, and higher than a Hill.") Geography.kif 3821-3822
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Bierstadt_Lake,_Rocky_Mountain_National_Park,_USA.jpg") pictureList-ImageNet.kif 670-670
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/2/ 24/ Mount_Rainier_21080.JPG") pictureList-ImageNet.kif 691-691
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Mount_Wilhelm.jpg") pictureList-ImageNet.kif 666-666
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Adams04_mount_adams_from_st_helens_12-28-04.jpg") pictureList-ImageNet.kif 674-674
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/3/ 36/ Mountain_of_marble.jpg") pictureList-ImageNet.kif 679-679
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Mount_Nebo_Utah.jpg") pictureList-ImageNet.kif 673-673
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Mount_Le_Conte_Panorama.JPG") pictureList-ImageNet.kif 668-668
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Yucca_Mountain_crest_south.jpg") pictureList-ImageNet.kif 685-685
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Adams87_mount_adams_from_trout_lake_11-05-87.jpg") pictureList-ImageNet.kif 692-692
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Mount_Reynolds_at_Logan_Pass.jpg") pictureList-ImageNet.kif 688-688
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Antelao.jpg") pictureList.kif 959-959
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Mount_Olympus_in_the_distance.jpg") pictureList-ImageNet.kif 677-677
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Mount-Yamnuska-szmurlo.jpg") pictureList-ImageNet.kif 686-686
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 04/ Mount_Scott_Antarctica.jpg/ 300px-Mount_Scott_Antarctica.jpg") pictureList-ImageNet.kif 683-683
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ Montagna_Belmonte.JPG/ 425px-Montagna_Belmonte.JPG") pictureList-ImageNet.kif 681-681
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Nanga-Parbat.jpg/ 752px-Nanga-Parbat.jpg") pictureList-ImageNet.kif 682-682
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Aoraki-Mount_Cook_from_Hooker_Valley.jpg/ 250px-Aoraki-Mount_Cook_from_Hooker_Valley.jpg") pictureList-ImageNet.kif 671-671
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 52/ Golden-Mantled_Ground_Squirrel,_Mount_Rainier,_July_2006.jpg/ 300px-Golden-Mantled_Ground_Squirrel,_Mount_Rainier,_July_2006.jpg") pictureList-ImageNet.kif 675-675
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ Glasshouse_mountain.jpg/ 300px-Glasshouse_mountain.jpg") pictureList-ImageNet.kif 669-669
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 73/ MountGilbertNV.jpg/ 300px-MountGilbertNV.jpg") pictureList-ImageNet.kif 695-695
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Mount_Pugh.jpg/ 300px-Mount_Pugh.jpg") pictureList-ImageNet.kif 667-667
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a8/ Fitz_Roy_framed_trees_(colour_balans).jpg/ 450px-Fitz_Roy_framed_trees_(colour_balans).jpg") pictureList-ImageNet.kif 690-690
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e5/ Mytikas_summit_PJS.jpg/ 225px-Mytikas_summit_PJS.jpg") pictureList-ImageNet.kif 672-672
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/en/6/64/Mount_Tom_Massachusetts.jpg") pictureList-ImageNet.kif 678-678

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subclass VolcanicMountain Mountain) Geography.kif 3870-3870
(termFormat ChineseLanguage Mountain "山") domainEnglishFormat.kif 38893-38893
(termFormat ChineseTraditionalLanguage Mountain "山") domainEnglishFormat.kif 38892-38892
(termFormat EnglishLanguage Mountain "mountain") domainEnglishFormat.kif 38891-38891

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


(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))
Geography.kif 3824-3830

consequent
-------------------------


(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))
Geography.kif 3808-3816
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))
Geography.kif 1761-1766
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))
Geography.kif 1754-1759


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners