No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2389-2389 |
名 "Liquefied gas carrier" and 液化氣罐船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2399-2399 |
子類 LiquefiedGasChemicalTankerShip and 液化氣罐船 |
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 |
|