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