(subclass ChemicalTankerShip CargoShip) | Transportation.kif 2371-2371 | ChemicalTankerShip は CargoShip の subclass では %n |
(subclass Chemical-OilTankerShip ChemicalTankerShip) | Transportation.kif 2380-2380 | Chemical-OilTankerShip は ChemicalTankerShip の subclass では %n |