(subclass AppleIPhoneOS9 AppleIOS) | ComputingBrands.kif 179-179 | IOS 9 is a subclass of IOS |
(subclass AppleIPhoneOS901 AppleIPhoneOS9) | ComputingBrands.kif 703-703 | Apple i phone oS901 is a subclass of IOS 9 |
(subclass AppleIPhoneOS93 AppleIPhoneOS9) | ComputingBrands.kif 709-709 | Apple i phone oS93 is a subclass of IOS 9 |