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 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 | UndergroundArea è una sottoclasse di AreaGeografica |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UndergroundArea "地下区域") | domainEnglishFormat.kif 59884-59884 | |
| (termFormat ChineseTraditionalLanguage UndergroundArea "地下區域") | domainEnglishFormat.kif 59883-59883 | |
| (termFormat EnglishLanguage UndergroundArea "underground area") | domainEnglishFormat.kif 59882-59882 |
| 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 |
|
|
|
|