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 |
![]() |
![]() |