No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2383-2383 |
Liquefied gas tanker ship has name "Liquefied gas carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2393-2393 |
LiquefiedGasChemicalTankerShip is a subclass of liquefied gas tanker ship |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34601-34601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34600-34600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34599-34599 |
|