RailroadTrack(railroad track) | cog_railway, el, elevated, elevated_railroad, elevated_railway, line, overhead_railway, rack_railway, rail, rail_line, railroad, railroad_track, rails, railway, railway_line, runway, streetcar_track, track, tramline, tramway |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 379-381 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | Railroad track is a subclass of stationary artifact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48650-48650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48649-48649 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48648-48648 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 368-376 |
|