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