(subclass GasMixture Mixture) | Merge.kif 14758-14758 | GasMixture est une sous-classe de mixture |
(subclass Suspension GasMixture) | Merge.kif 14753-14753 | Suspension est une sous-classe de GasMixture |
(subclass Cloud GasMixture) | Merge.kif 14772-14772 | Cloud est une sous-classe de GasMixture |
(subclass Air GasMixture) | Merge.kif 14817-14817 | Air est une sous-classe de GasMixture |
(subclass Aerosal GasMixture) | Geography.kif 7542-7542 | Aerosal est une sous-classe de GasMixture |
(subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor est une sous-classe de GasMixture |