![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | canRunOn AppleIOS and AppleIPhone |
(subclass AppleIOS PhoneOS) | ComputingBrands.kif 84-84 | AppleIOS e' uma sub-classe de PhoneOS |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 |
![]() |
![]() |