| CommuterRailSystems(commuter rail systems)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8381-8383 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8431-8431 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9094-9094 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9095-9095 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8379-8379 | Commuter rail systems is a subattribute of urban transit systems |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16104-16104 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16103-16103 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16102-16102 |
|
|
|