| (subclass GasMixture Mixture) | Merge.kif 14736-14736 | |
| (subclass Suspension GasMixture) | Merge.kif 14731-14731 | |
| (subclass Cloud GasMixture) | Merge.kif 14750-14750 | |
| (subclass Air GasMixture) | Merge.kif 14795-14795 | |
| (subclass Aerosal GasMixture) | Geography.kif 7542-7542 | |
| (subclass FuelVapor GasMixture) | Cars.kif 67-67 |
|
|