| 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 |
|
|
| (documentation RailroadTrack EnglishLanguage "RailroadTrack is the class of StationaryArtifacts consisting of rails laid on supports to form a track for railway vehicles.") | Transportation.kif 379-381 | |
| (subclass RailroadTrack StationaryArtifact) | Transportation.kif 378-378 | Railroad track is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RailroadTrack "铁轨") | domainEnglishFormat.kif 48690-48690 | |
| (termFormat ChineseTraditionalLanguage RailroadTrack "鐵軌") | domainEnglishFormat.kif 48689-48689 | |
| (termFormat EnglishLanguage RailroadTrack "railroad track") | domainEnglishFormat.kif 48688-48688 |
| consequent |
|
|
| (=> (instance ?RAIL MultipleTrackRailway) (exists (?TRACK1 ?TRACK2) (and (instance ?TRACK1 RailroadTrack) (instance ?TRACK2 RailroadTrack) (not (equal ?TRACK1 ?TRACK2)) (part ?TRACK1 ?RAIL) (part ?TRACK2 ?RAIL)))) |
Transportation.kif 368-376 |
|
|
|
|