AppleIOS
|
|
appearance as argument number 1 |
(canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | IPhone 應該可以 ComputerProcess 蘋果作業系統 |
(subclass AppleIOS PhoneOS) | ComputingBrands.kif 84-84 | 子類 蘋果作業系統 and PhoneOS |
appearance as argument number 2 |
antecedent |
(=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 |