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 1632-1635 | |
(externalImage Tunnel "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ Signs_3/ tunnel.png") | pictureList.kif 802-802 | |
(subclass Tunnel LandTransitway) | Transportation.kif 1630-1630 | Tunnel is a subclass of land transitway |
(subclass Tunnel StationaryArtifact) | Transportation.kif 1631-1631 | Tunnel is a subclass of stationary artifact |
appearance as argument number 2 |
(termFormat ChineseLanguage Tunnel "隧道") | domainEnglishFormat.kif 59506-59506 | |
(termFormat ChineseTraditionalLanguage Tunnel "隧道") | domainEnglishFormat.kif 59505-59505 | |
(termFormat EnglishLanguage Tunnel "tunnel") | domainEnglishFormat.kif 59504-59504 |
antecedent |
(=> (and (instance ?T Tunnel) (located ?T ?L)) (instance ?L UndergroundArea)) |
Transportation.kif 1637-1641 |
|
consequent |
(=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 |
|