BroadGaugeRailway(broad gauge railway) | broad_gauge |
appearance as argument number 1 |
(subclass BroadGaugeRailway Railway) | Transportation.kif 353-353 | Broad gauge railway is a subclass of 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 | An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge |
consequent |