AppleIOS
|
|
appearance as argument number 1 |
(canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | canRunOn AppleIOS and AppleIPhone |
(subclass AppleIOS PhoneOS) | ComputingBrands.kif 84-84 | AppleIOS è una sottoclasse di PhoneOS |
appearance as argument number 2 |
antecedent |
(=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 |
|