| BroadGauge
|
| appearance as argument number 1 |
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 | BroadGauge は StandardGauge の disjoint では |
| (documentation BroadGauge EnglishLanguage "BroadGauge is the attribute of any Railway that has a TrackGauge wider than StandardGauge.") | Transportation.kif 400-401 | BroadGauge は StandardGauge の disjoint では |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ GWR_broad_gauge_locomotives.jpg") | pictureList.kif 5892-5892 | BroadGauge は StandardGauge の disjoint では |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Farranfore_train_station.jpg") | pictureList.kif 6219-6219 | BroadGauge は StandardGauge の disjoint では |
| (instance BroadGauge TrackGauge) | Transportation.kif 399-399 | BroadGauge は TrackGauge の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadGauge "宽规") | domainEnglishFormat.kif 12050-12050 | |
| (termFormat ChineseTraditionalLanguage BroadGauge "寬規") | domainEnglishFormat.kif 12049-12049 | |
| (termFormat EnglishLanguage BroadGauge "broad gauge") | domainEnglishFormat.kif 12048-12048 |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44)) |
Transportation.kif 403-409 |
| consequent |
|
|
| (<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 | エンティティー は BroadGaugeRailway の instance では エンティティー には attribute BroadGauge |
|
|
|