BroadGaugeRailway
|
|
appearance as argument number 1 |
(subclass BroadGaugeRailway Railway) | Transportation.kif 353-353 | BroadGaugeRailway ist eine teilkategorie von Railway |
appearance as argument number 2 |
(termFormat ChineseLanguage BroadGaugeRailway "宽轨铁路") | domainEnglishFormat.kif 12047-12047 | |
(termFormat ChineseTraditionalLanguage BroadGaugeRailway "寬軌鐵路") | domainEnglishFormat.kif 12046-12046 | |
(termFormat EnglishLanguage BroadGaugeRailway "broad gauge railway") | domainEnglishFormat.kif 12045-12045 |
antecedent |
(<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 | Entity ist ein fall von BroadGaugeRailway %n{nicht} genau dann wenn ** Entity hat ein attribut BroadGauge %n{nicht} |
consequent |