AppleIPhone1(Apple iPhone) |
appearance as argument number 1 |
(deviceOS AppleIPhone1 AppleIPhoneOS1) | ComputingBrands.kif 692-692 | device OS Apple iPhone and IOS 1 |
(subclass AppleIPhone1 AppleIPhone) | ComputingBrands.kif 642-642 | Apple iPhone is a subclass of iPhone |
appearance as argument number 2 |
(termFormat EnglishLanguage AppleIPhone1 "Apple iPhone") | ComputingBrands.kif 667-667 |