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


KB Term:  Term intersection
English Word: 

  UndergroundArea

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

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


(subclass UndergroundArea GeographicArea) Geography.kif 5501-5501 Underground area is a subclass of geographic area
(documentation UndergroundArea EnglishLanguage "The class of regions located Below the surface of the earth.") Geography.kif 5502-5502 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Stockholm_subway_radhuset_20050808_002.jpg") pictureList.kif 10315-10315 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Warsaw_Station_3.jpg") pictureList.kif 12087-12087 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ Linha3Se.jpg") pictureList.kif 12088-12088 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") pictureList.kif 12089-12089 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Taipei_Underground_Mall_%280299%29.JPG") pictureList.kif 12090-12090 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Lechuguilla_Cave_Pearlsian_Gulf.jpg") pictureList.kif 12091-12091 Underground area is a subclass of geographic area
(externalImage UndergroundArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Hawaiian_lava_tube.jpg") pictureList.kif 12093-12093 Underground area is a subclass of geographic area

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


(termFormat EnglishLanguage UndergroundArea "underground area") domainEnglishFormat.kif 59865-59865
(termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") domainEnglishFormat.kif 59866-59866
(termFormat ChineseLanguage UndergroundArea "地下区域") domainEnglishFormat.kif 59867-59867

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


(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))		 Geography.kif 5504-5510 If X is an instance of underground area, then there exist Y, Z such that Z is a surface of planet earth, Y is a part of Z, and X is below to Y
(=>
    (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 5512-5523 If All of the following hold: (1) X is an instance of underground area (2) Y is an instance of unit of length (3) X is Z Y(s) above the ground (4) W is a surface of planet earth (5) V is a part of W (6) X is below to V (7) V is U Y(s) above the ground, then U is greater than Z

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


(=>
    (and
        (instance ?T Tunnel)
        (located ?T ?L))
    (instance ?L UndergroundArea))		 Transportation.kif 1792-1796 If X is an instance of tunnel and X is located at Y, then Y is an instance of underground area


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners