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 4229-4229
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Lechuguilla_Cave_Pearlsian_Gulf.jpg") pictureList.kif 12091-12091
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Stockholm_subway_radhuset_20050808_002.jpg") pictureList.kif 10315-10315
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Warsaw_Station_3.jpg") pictureList.kif 12087-12087
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Taipei_Underground_Mall_%280299%29.JPG") pictureList.kif 12090-12090
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Hawaiian_lava_tube.jpg") pictureList.kif 12093-12093
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ Linha3Se.jpg") pictureList.kif 12088-12088
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") pictureList.kif 12089-12089
(subclass UndergroundArea GeographicArea) Geography.kif 4228-4228 Underground area is a subclass of geographic area

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


(termFormat ChineseLanguage UndergroundArea "地下区域") domainEnglishFormat.kif 59874-59874
(termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") domainEnglishFormat.kif 59873-59873
(termFormat EnglishLanguage UndergroundArea "underground area") domainEnglishFormat.kif 59872-59872

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


(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))
Geography.kif 4239-4250
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 4231-4237

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


(=>
    (and
        (instance ?T Tunnel)
        (located ?T ?L))
    (instance ?L UndergroundArea))
Transportation.kif 1777-1781


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