RailroadTrack
|
|
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage RailroadTrack "铁轨") | domainEnglishFormat.kif 48652-48652 | |
(termFormat ChineseTraditionalLanguage RailroadTrack "鐵軌") | domainEnglishFormat.kif 48651-48651 | |
(termFormat EnglishLanguage RailroadTrack "railroad track") | domainEnglishFormat.kif 48650-48650 |
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 |