| (subclass Ice Water) | Mid-level-ontology.kif 8976-8976 | Ice is a subclass of water |
| (subclass Snow Ice) | Weather.kif 2995-2995 | Snow is a subclass of ice |
| (subclass Hailstone Ice) | Weather.kif 3072-3072 | Hailstone is a subclass of ice |
| (subclass Iceberg Ice) | Geography.kif 4722-4722 | Iceberg is a subclass of ice |
| (subclass SeaIce Ice) | Geography.kif 5935-5935 | Sea ice is a subclass of ice |
|
|