| (subclass GasMixture Mixture) | Merge.kif 14758-14758 | GasMixture は 混合物 の subclass では %n |
| (subclass Suspension GasMixture) | Merge.kif 14753-14753 | Suspension は GasMixture の subclass では %n |
| (subclass Cloud GasMixture) | Merge.kif 14772-14772 | Cloud は GasMixture の subclass では %n |
| (subclass Air GasMixture) | Merge.kif 14817-14817 | Air は GasMixture の subclass では %n |
| (subclass Aerosal GasMixture) | Geography.kif 7542-7542 | Aerosal は GasMixture の subclass では %n |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor は GasMixture の subclass では %n |
|
|