(subclass CarRacing Racing) | Sports.kif 248-248 | CarRacing は Racing の subclass では %n |
(subclass FormulaOneRacing CarRacing) | Sports.kif 251-251 | FormulaOneRacing は CarRacing の subclass では %n |
(subclass KartRacing CarRacing) | Sports.kif 253-253 | KartRacing は CarRacing の subclass では %n |