| BroadGauge
| |
| appearance as argument number 1 |
|
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 388-388 | contraryAttribute BroadGauge, StandardGauge, NarrowGauge and DualGauge |
| (documentation BroadGauge EnglishLanguage "BroadGauge is the attribute of any Railway that has a TrackGauge wider than StandardGauge.") | Transportation.kif 397-398 | |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ GWR_broad_gauge_locomotives.jpg") | pictureList.kif 5894-5894 | externalImage BroadGauge and "http://upload.wikimedia.org/wikipedia/commons/6/69/ GWR_broad_gauge_locomotives.jpg" |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Farranfore_train_station.jpg") | pictureList.kif 6221-6221 | externalImage BroadGauge and "http://upload.wikimedia.org/wikipedia/commons/7/78/ Farranfore_train_station.jpg" |
| (instance BroadGauge TrackGauge) | Transportation.kif 396-396 | instance BroadGauge and TrackGauge |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadGauge "宽规") | domainEnglishFormat.kif 11983-11983 | termFormat ChineseLanguage, BroadGauge and "宽规" |
| (termFormat ChineseTraditionalLanguage BroadGauge "寬規") | domainEnglishFormat.kif 11982-11982 | termFormat ChineseTraditionalLanguage, BroadGauge and "寬規" |
| (termFormat EnglishLanguage BroadGauge "broad gauge") | domainEnglishFormat.kif 11981-11981 | termFormat EnglishLanguage, BroadGauge and "broad gauge" |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR ?WIDTH)) (greaterThan ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 400-405 |
|
| consequent |
|
|
| (<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 407-409 | instance Entity and BroadGaugeRailway property Entity and BroadGauge |
|
|
|