No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2378-2378 |
Chemical tanker ship has name "chemical carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2386-2386 |
Chemical- oil tanker ship is a subclass of chemical tanker ship |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14340-14340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14339-14339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14338-14338 |
|