| (subclass List Abstract) | Merge.kif 2803-2803 | |
| (subclass MeasuringList List) | Weather.kif 1713-1713 | |
| (subclass MeasuringResultList List) | Weather.kif 1781-1781 | |
| (subclass NumberList List) | Weather.kif 1816-1816 | |
| (subclass ConsecutiveTimeIntervalList List) | Weather.kif 1926-1926 | |
| (subclass SRPResults List) | UXExperimentalTerms.kif 2679-2679 | |
| (subclass Album List) | Music.kif 49-49 | |
| (subclass MusicChart List) | Music.kif 1112-1112 | |
| (subclass UniqueList List) | Merge.kif 2831-2831 |
|
|