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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UndergroundArea
UndergroundArea
more pictures...

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 "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Lechuguilla_Cave_Pearlsian_Gulf.jpg") pictureList.kif 12129-12129
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Stockholm_subway_radhuset_20050808_002.jpg") pictureList.kif 10338-10338
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Warsaw_Station_3.jpg") pictureList.kif 12125-12125
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Taipei_Underground_Mall_%280299%29.JPG") pictureList.kif 12128-12128
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Hawaiian_lava_tube.jpg") pictureList.kif 12131-12131
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ Linha3Se.jpg") pictureList.kif 12126-12126
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") pictureList.kif 12127-12127
(subclass UndergroundArea GeographicArea) Geography.kif 3783-3783

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


(termFormat ChineseLanguage UndergroundArea "地下区域") domainEnglishFormat.kif 59827-59827
(termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") domainEnglishFormat.kif 59826-59826
(termFormat EnglishLanguage UndergroundArea "underground area") domainEnglishFormat.kif 59825-59825

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


(=>
    (and
        (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)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3786-3792

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


(=>
    (and
        (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