No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2177-2177 |
Flatcar is a subclass of open top railcar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2218-2218 |
Rotary dump car is a subclass of open top railcar |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42228-42228 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42227-42227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42226-42226 |
|