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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UndergroundArea

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 3989-3989
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Lechuguilla_Cave_Pearlsian_Gulf.jpg") pictureList.kif 12102-12102
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Stockholm_subway_radhuset_20050808_002.jpg") pictureList.kif 10317-10317
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Warsaw_Station_3.jpg") pictureList.kif 12098-12098
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Taipei_Underground_Mall_%280299%29.JPG") pictureList.kif 12101-12101
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Hawaiian_lava_tube.jpg") pictureList.kif 12104-12104
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ Linha3Se.jpg") pictureList.kif 12099-12099
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") pictureList.kif 12100-12100
(subclass UndergroundArea GeographicArea) Geography.kif 3988-3988

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


(termFormat ChineseLanguage UndergroundArea "地下区域") domainEnglishFormat.kif 59882-59882
(termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") domainEnglishFormat.kif 59881-59881
(termFormat EnglishLanguage UndergroundArea "underground area") domainEnglishFormat.kif 59880-59880

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 3999-4010
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3991-3997

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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