BroadGaugeRailway |
appearance as argument number 1 |
(subclass BroadGaugeRailway Railway) | Transportation.kif 353-353 | BroadGaugeRailway e' uma sub-classe de 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 | Entidade e' uma instancia de BroadGaugeRailway Entidade tem um atributo de BroadGauge |
consequent |