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 2455-2455 | Dredger is a subclass of ship |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2456-2456 | Hopper dredger is a subclass of 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 |