| Downloading | |
| consequent |
|
|
| (=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D Downloading) (origin ?D ?C))))) |
ComputingBrands.kif 1970-1979 | |
| (=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D Downloading) (objectTransferred ?D ?M) (instrument ?D ?I))))) |
ComputingBrands.kif 3400-3408 |
| statement |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D Downloading) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3297-3303 |
|
|
|