Tunnel - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Tunnel LandTransitway)	Transportation.kif 1785-1785	Tunnel is a subclass of land transitway
(subclass Tunnel StationaryArtifact)	Transportation.kif 1786-1786	Tunnel is a subclass of stationary artifact
(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 1787-1790	Tunnel is a subclass of stationary artifact
(externalImage Tunnel "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ Signs_3/ tunnel.png")	pictureList.kif 802-802	Tunnel is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Tunnel "tunnel")	domainEnglishFormat.kif 59479-59479
(termFormat ChineseTraditionalLanguage Tunnel "隧道")	domainEnglishFormat.kif 59480-59480
(termFormat ChineseLanguage Tunnel "隧道")	domainEnglishFormat.kif 59481-59481

antecedent

(=>
    (and
        (instance ?T Tunnel)
        (located ?T ?L))
    (instance ?L UndergroundArea))

consequent

(=>
    (and
        (instance ?S SubwaySystem)
        (routeInSystem ?P ?S))
    (instance ?P Tunnel))

If X is an instance of subway and X is a route in system of Y, then Y is an instance of tunnel