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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MountainousTerrain
MountainousTerrain
more pictures...

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


(documentation MountainousTerrain EnglishLanguage "An area of MountainousTerrain is an area of rugged terrain in which there are many mountains.") Geography.kif 1790-1791
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg") pictureList.kif 8604-8604
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg") pictureList.kif 9445-9445
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg") pictureList.kif 9446-9446
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg") pictureList.kif 9447-9447
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg") pictureList.kif 9448-9448
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG") pictureList.kif 9449-9449
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg") pictureList.kif 9450-9450
(instance MountainousTerrain TerrainAttribute) Geography.kif 1787-1787 MountainousTerrainTerrainAttributeinstance では %n
(subAttribute MountainousTerrain SteepTerrain) Geography.kif 1788-1788 MountainousTerrainSteepTerrainsubattribute では %n

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


(termFormat ChineseLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38979-38979
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38978-38978
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain") domainEnglishFormat.kif 38977-38977

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


(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (instance ?U UnitOfLength)
        (height ?piedmont
            (MeasureFn ?height1 ?U))
        (height ?mountains
            (MeasureFn ?height2 ?U)))
    (greaterThan ?height2 ?height1))
Geography.kif 4206-4216
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))
Geography.kif 1808-1813
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))
Geography.kif 1801-1806
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1793-1795
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))
Geography.kif 1797-1799

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


(=>
    (instance ?AREA MountainRange)
    (attribute ?AREA MountainousTerrain))
Geography.kif 1815-1817
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))
Geography.kif 4199-4204


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