No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2365-2365 |
名 "oil tanker" and 石油油輪船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2364-2364 |
名 "petroleum tanker" and 石油油輪船 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45516-45516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45515-45515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45514-45514 |
|