UndergroundArea - Sigma Knowledge base Browser

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 "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	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

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	If an object is an instance of underground area and the object is a physical quantity above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another physical quantity above the ground, then the other physical quantity is greater than the physical quantity
(=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below))))	Geography.kif 3786-3792	If an object is an instance of underground area, then there exist another object and a self connected object such that the self connected object is a surface of planet earth and the other object is a part of the self connected object and the object is below to the other object

consequent

(=>
    (and
        (instance ?T Tunnel)
        (located ?T ?L))
    (instance ?L UndergroundArea))

Transportation.kif 1622-1626

If a physical is an instance of tunnel and the physical is located at an object,
then the object is an instance of underground area

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