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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - UndergroundArea
UndergroundArea(underground area)
more pictures...
belowground, subsurface, subterranean, subterraneous, underground

appearance as argument number 1

(documentation UndergroundArea EnglishLanguage "The class of regions located Below the surface of the earth.") Geography.kif 3784-3784
(externalImage UndergroundArea " 0/ 02/ Lechuguilla_Cave_Pearlsian_Gulf.jpg") pictureList.kif 12129-12129
(externalImage UndergroundArea " 2/ 20/ Stockholm_subway_radhuset_20050808_002.jpg") pictureList.kif 10338-10338
(externalImage UndergroundArea " 4/ 46/ Warsaw_Station_3.jpg") pictureList.kif 12125-12125
(externalImage UndergroundArea " c/ c5/ Taipei_Underground_Mall_%280299%29.JPG") pictureList.kif 12128-12128
(externalImage UndergroundArea " f/ f4/ Hawaiian_lava_tube.jpg") pictureList.kif 12131-12131
(externalImage UndergroundArea " f/ f9/ Linha3Se.jpg") pictureList.kif 12126-12126
(externalImage UndergroundArea " f/ fb/ Metro_Center_upper_level.jpg") pictureList.kif 12127-12127
(subclass UndergroundArea GeographicArea) Geography.kif 3783-3783 Underground area is a subclass of geographic area

appearance as argument number 2

(termFormat ChineseLanguage UndergroundArea "地下区域") domainEnglishFormat.kif 59769-59769
(termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") domainEnglishFormat.kif 59768-59768
(termFormat EnglishLanguage UndergroundArea "underground area") domainEnglishFormat.kif 59767-59767


        (instance ?place UndergroundArea)
        (earthAltitude ?place ?alt1)
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area ?alt2))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3794-3802
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3786-3792


        (instance ?T Tunnel)
        (located ?T ?L))
    (instance ?L UndergroundArea))
Transportation.kif 1622-1626

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