Downloading - Sigma Knowledge base Browser

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	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical purpose there exists an entity such that the entity is an instance of Downloading and the entity originates at the computer
(=> (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	If a physical is an instance of ITunes, then the physical purpose there exist an entity and another entity such that the entity is an instance of MultimediaFile and the other entity is an instance of Downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3297-3303

IBookstore purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T