No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2367-2367 |
多功能大型承载船 的名 是 "heavy cargo carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2366-2366 |
多功能大型承载船 的名 是 "heavy lift carrier" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39143-39143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39142-39142 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39141-39141 |
|