AppleComputerCorporation |
appearance as argument number 1 |
![]() |
(instance AppleComputerCorporation Corporation) | ComputingBrands.kif 15-15 |
appearance as argument number 2 |
![]() |
consequent |
![]() |
(=> (instance ?G GeniusBar) (hasPurpose ?G (exists (?M ?CS) (and (employs ?M AppleComputerCorporation) (instance ?CS CustomerSupport) (agent ?CS ?M) (located ?CS ?G))))) |
ComputingBrands.kif 3055-3063 | |
(=> (subclass ?OS AppleIOS) (creator ?OS AppleComputerCorporation)) |
ComputingBrands.kif 92-94 |
![]() |
![]() |