more pictures...
| 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 |
|
|
|