(subclass Cloud GasMixture) | Merge.kif 14772-14772 | Cloud è una sottoclasse di GasMixture |
(subclass Smoke Cloud) | Merge.kif 14780-14780 | Smoke è una sottoclasse di Cloud |
(subclass WaterCloud Cloud) | Merge.kif 14791-14791 | WaterCloud è una sottoclasse di Cloud |