| (subclass GasMixture Mixture) | Merge.kif 14782-14782 | GasMixture è una sottoclasse di Mistura |
| (subclass Suspension GasMixture) | Merge.kif 14777-14777 | Suspension è una sottoclasse di GasMixture |
| (subclass Cloud GasMixture) | Merge.kif 14796-14796 | Cloud è una sottoclasse di GasMixture |
| (subclass Air GasMixture) | Merge.kif 14841-14841 | Air è una sottoclasse di GasMixture |
| (subclass Aerosal GasMixture) | Geography.kif 7542-7542 | Aerosal è una sottoclasse di GasMixture |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor è una sottoclasse di GasMixture |
|
|