| Tunnel
| |
| 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 | |
| (subclass Tunnel StationaryArtifact) | Transportation.kif 1771-1771 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tunnel "隧道") | domainEnglishFormat.kif 59519-59519 | |
| (termFormat ChineseTraditionalLanguage Tunnel "隧道") | domainEnglishFormat.kif 59518-59518 | |
| (termFormat EnglishLanguage Tunnel "tunnel") | domainEnglishFormat.kif 59517-59517 |
| 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 |
|
|
|