| Tunnel(tunnel)
| | catacomb, railroad_tunnel, shaft, subway, tunnel, underpass |
| appearance as argument number 1 |
|
|
| (documentation Tunnel EnglishLanguage "Tunnel is a subclass of Transitways that consist of a lengthwise enclosed Hole that allows for transit underground, as through mountains, below a body of water, or beneath a city.") | Transportation.kif 1772-1775 | |
| (externalImage Tunnel "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ Signs_3/ tunnel.png") | pictureList.kif 802-802 | |
| (subclass Tunnel LandTransitway) | Transportation.kif 1770-1770 | Tunnel is a subclass of land transitway |
| (subclass Tunnel StationaryArtifact) | Transportation.kif 1771-1771 | Tunnel is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tunnel "隧道") | domainEnglishFormat.kif 59542-59542 | |
| (termFormat ChineseTraditionalLanguage Tunnel "隧道") | domainEnglishFormat.kif 59541-59541 | |
| (termFormat EnglishLanguage Tunnel "tunnel") | domainEnglishFormat.kif 59540-59540 |
| antecedent |
|
|
| (=> (and (instance ?T Tunnel) (located ?T ?L)) (instance ?L UndergroundArea)) |
Transportation.kif 1777-1781 |
|
| consequent |
|
|
| (=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 |
|
|
|
|