AppleIPhone4s |
appearance as argument number 1 |
(deviceOS AppleIPhone4s AppleIPhoneOS5) | ComputingBrands.kif 696-696 | deviceOS AppleIPhone4s and AppleIPhoneOS5 |
(subclass AppleIPhone4s AppleIPhone) | ComputingBrands.kif 646-646 | AppleIPhone4s e' uma sub-classe de AppleIPhone |
appearance as argument number 2 |
(termFormat EnglishLanguage AppleIPhone4s "Apple iPhone") | ComputingBrands.kif 671-671 |