No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2144-2144 |
Boxcar is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2172-2172 |
Five well stack car is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2176-2176 |
Flatcar is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2190-2190 |
Hydra cushion freight car is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2199-2199 |
Open top railcar is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2232-2232 |
Tank car is a subclass of freight car |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24920-24920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24919-24919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24918-24918 |
|