No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2383-2383 |
液化气罐船 的名 是 "Liquefied gas carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2393-2393 |
LiquefiedGasChemicalTankerShip 是 液化气罐船 的 subclass |
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 |
|