Railway(railway)![]() | ![]() | cable_railway, funicular, funicular_railway, monorail, rail, scenic_railway |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 347-351 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1228-1228 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | Railway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | Railway is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 353-353 | Broad gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 354-354 | Dual gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 358-358 | Electrified railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 362-362 | Multiple track railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 355-355 | Narrow gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3872-3872 | Rail junction is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2237-2237 | Railhead is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 356-356 | Standard gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48678-48678 | Standard gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48677-48677 | Standard gauge railway is a subclass of railway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48676-48676 | Standard gauge railway is a subclass of railway |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 396-396 | The number 1 argument of track width is an instance of railway |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 403-409 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 |
|
consequent |
![]() |
![]() |
![]() |