AppleIPhoneX(Apple iPhone) |
appearance as argument number 1 |
(deviceOS AppleIPhoneX AppleIPhoneOS111) | ComputingBrands.kif 715-715 | device OS Apple iPhone and Apple i phone oS111 |
(subclass AppleIPhoneX AppleIPhone) | ComputingBrands.kif 659-659 | Apple iPhone is a subclass of iPhone |
appearance as argument number 2 |
(termFormat EnglishLanguage AppleIPhoneX "Apple iPhone") | ComputingBrands.kif 684-684 |