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 4058-4058 | |
| (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 4057-4057 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UndergroundArea "地下区域") | domainEnglishFormat.kif 59903-59903 | |
| (termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") | domainEnglishFormat.kif 59902-59902 | |
| (termFormat EnglishLanguage UndergroundArea "underground area") | domainEnglishFormat.kif 59901-59901 |
| 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 4068-4079 | |
| (=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 4060-4066 |
| consequent |
|
|
| (=> (and (instance ?T Tunnel) (located ?T ?L)) (instance ?L UndergroundArea)) |
Transportation.kif 1777-1781 |
|
|
|