Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NarrowGauge(narrow gauge)
more pictures... |
| appearance as argument number 1 |
|
| (instance NarrowGauge TrackGauge) | Transportation.kif 447-447 | Narrow gauge is an instance of track gauge |
| (documentation NarrowGauge EnglishLanguage "NarrowGauge is the attribute of any Railway that has a TrackGauge narrower than StandardGauge. There are several common track widths among NarrowGauge railways.") | Transportation.kif 448-451 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ 6AatLakeside.jpg") | pictureList.kif 6716-6716 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Roslagsbanan.JPG") | pictureList.kif 7388-7388 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ffestiniog_DLG_BF.JPG") | pictureList.kif 7389-7389 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ RovosRailAtPretoria.jpg") | pictureList.kif 7390-7390 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Waldenburgerbahn.jpg") | pictureList.kif 7391-7391 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ JRF_EF641024.JPG") | pictureList.kif 7392-7392 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ TahiLand_RailWay002.JPG") | pictureList.kif 7393-7393 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ TC_at_Jhutian.jpg") | pictureList.kif 7395-7395 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Hluz_U34_901.jpg") | pictureList.kif 7396-7396 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Kalk_Bay_Station_3.jpg") | pictureList.kif 7397-7397 | Narrow gauge is an instance of track gauge |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ CombinedTrack.jpg") | pictureList.kif 7399-7399 | Narrow gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 | Broad gauge is the opposite of standard gauge |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 453-458 | If X is an instance of railway, X the attribute narrow gauge, and Y meter(s) is a track width of X, then Y is less than or equal to 1.435 |
| consequent |
|
|
| (<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge)) |
Transportation.kif 460-462 | X is an instance of narrow gauge railway if and only if X the attribute narrow gauge |
|