No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2177-2177 |
Flatcar est une sous-classe de OpenTopRailcar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2218-2218 |
RotaryDumpCar est une sous-classe de OpenTopRailcar |
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 |
|