|
|
   LeftTibia
|
|
|
| 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 | RailroadTrack は 固定アーチファクト の subclass では %n |
| 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 |
|
|
|