No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2365-2365 |
石油油轮船 的名 是 "oil tanker" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2364-2364 |
石油油轮船 的名 是 "petroleum tanker" |
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 |
|