No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2365-2365 |
Petroleum tanker ship has name "oil tanker" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2364-2364 |
Petroleum tanker ship has name "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 |
|