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