(subclass Cloud GasMixture) | Merge.kif 14772-14772 | Cloud ist eine teilkategorie von GasMixture |
(subclass Smoke Cloud) | Merge.kif 14780-14780 | Smoke ist eine teilkategorie von Cloud |
(subclass WaterCloud Cloud) | Merge.kif 14791-14791 | WaterCloud ist eine teilkategorie von Cloud |