| (subclass AppleIPod AppleComputer) | ComputingBrands.kif 816-816 | AppleIPod est une sous-classe de AppleComputer |
| (subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | AppleIPod est une sous-classe de MediaSystem |
| (subclass AppleIPodTouch AppleIPod) | ComputingBrands.kif 829-829 | AppleIPodTouch est une sous-classe de AppleIPod |
| (subclass AppleIPodNano AppleIPod) | ComputingBrands.kif 842-842 | AppleIPodNano est une sous-classe de AppleIPod |
| (subclass AppleIPodShuffle AppleIPod) | ComputingBrands.kif 855-855 | AppleIPodShuffle est une sous-classe de AppleIPod |
| (subclass AppleIPodClassic AppleIPod) | ComputingBrands.kif 868-868 | AppleIPodClassic est une sous-classe de AppleIPod |
|
|