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 | 挖泥船 是 船 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2450-2450 | 料斗挖泥船 是 挖泥船 的 subclass |
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 |