Dredger![]() | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2151-2151 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1733-1733 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2449-2449 | Dredger est une sous-classe de Ship |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2450-2450 | HopperDredger est une sous-classe de Dredger |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20376-20376 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20375-20375 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20374-20374 |
![]() |
![]() |