Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MountainousTerrain
MountainousTerrain(mountainous terrain)
more pictures...

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


(instance MountainousTerrain TerrainAttribute) Geography.kif 3238-3238 Mountainous terrain is an instance of terrain attribute
(subAttribute MountainousTerrain SteepTerrain) Geography.kif 3239-3239 Mountainous terrain is a subattribute of steep terrain
(documentation MountainousTerrain EnglishLanguage "An area of MountainousTerrain is an area of rugged terrain in which there are many mountains.") Geography.kif 3241-3242 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg") pictureList.kif 8603-8603 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg") pictureList.kif 9444-9444 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg") pictureList.kif 9445-9445 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg") pictureList.kif 9446-9446 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg") pictureList.kif 9447-9447 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG") pictureList.kif 9448-9448 Mountainous terrain is a subattribute of steep terrain
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg") pictureList.kif 9449-9449 Mountainous terrain is a subattribute of steep terrain

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


(termFormat EnglishLanguage MountainousTerrain "mountainous terrain") domainEnglishFormat.kif 38981-38981
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38982-38982
(termFormat ChineseLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38983-38983

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


(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))		 Geography.kif 3244-3246 If mountainous terrain is an attribute of X, then X is an instance of land area
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))		 Geography.kif 3248-3250 If mountainous terrain is an attribute of X, then X is an instance of upland area
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))		 Geography.kif 3252-3257 If mountainous terrain is an attribute of X, then there exists Y such that Y is an instance of mountain and Y is a part of X
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))		 Geography.kif 3259-3264 If mountainous terrain is an attribute of X, then there exists Y such that Y is an instance of mountain and Y is located at X
(=>
    (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 5710-5720 If All of the following hold: (1) X is an instance of piedmont (2) mountainous terrain is an attribute of Y (3) X is adjacent to Y (4) Z is an instance of unit of length (5) the height of X is W Z(s) (6) the height of Y is V Z(s), then V is greater than W

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


(=>
    (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
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))		 Geography.kif 5703-5708 If X is an instance of piedmont, then there exists Y such that Y is an instance of mountainous terrain and X is adjacent to Y


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