AppleIPhonese |
appearance as argument number 1 |
(deviceOS AppleIPhonese AppleIPhoneOS93) | ComputingBrands.kif 707-707 | |
(subclass AppleIPhonese AppleIPhone) | ComputingBrands.kif 654-654 |
appearance as argument number 2 |
(termFormat EnglishLanguage AppleIPhonese "Apple iPhone") | ComputingBrands.kif 679-679 |