No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2371-2371 |
PetroleumTankerShip se chama nome "oil tanker" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2370-2370 |
PetroleumTankerShip se chama nome "petroleum tanker" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45518-45518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45517-45517 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45516-45516 |
|