(subclass Cloud GasMixture) | Merge.kif 14750-14750 | Cloud e' uma sub-classe de GasMixture |
(subclass Smoke Cloud) | Merge.kif 14758-14758 | Smoke e' uma sub-classe de Cloud |
(subclass WaterCloud Cloud) | Merge.kif 14769-14769 | WaterCloud e' uma sub-classe de Cloud |