No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2382-2382 | 液化气罐船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2393-2393 | LiquefiedGasChemicalTankerShip 是 液化气罐船 的 subclass |