IBookstore - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IBookstore ChineseLanguage "用来下载苹果书的网页")	ComputingBrands.kif 3294-3294
(documentation IBookstore ChineseTraditionalLanguage "用來下載蘋果書的網頁")	ComputingBrands.kif 3293-3293
(documentation IBookstore EnglishLanguage "Website for downloading Apple Books")	ComputingBrands.kif 3292-3292
(documentation IBookstore JapaneseLanguage "Apple Booksをダウンロードするウエブサイト")	ComputingBrands.kif 3295-3295
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T))))	ComputingBrands.kif 3305-3311	IBookstore has the purpose there exists ?D such that ?D is an instance of DownloadingOverNetwork and IBookstore is an instrument for ?D and ?T is an instance of text and objectTransferred ?D and ?T
(instance IBookstore WebSite)	ComputingBrands.kif 3291-3291	IBookstore is an instance of WebSite
(managedBy IBookstore AppleComputerCorporation)	ComputingBrands.kif 3303-3303	managedBy IBookstore and AppleComputerCorporation

appearance as argument number 2

(creator AppleComputerCorporation IBookstore)	ComputingBrands.kif 3302-3302	creator AppleComputerCorporation and IBookstore
(termFormat ChineseLanguage IBookstore "iBookstore")	ComputingBrands.kif 3299-3299	creator AppleComputerCorporation and IBookstore
(termFormat ChineseTraditionalLanguage IBookstore "iBookstore")	ComputingBrands.kif 3298-3298	creator AppleComputerCorporation and IBookstore
(termFormat EnglishLanguage IBookstore "iBookstore")	ComputingBrands.kif 3297-3297	creator AppleComputerCorporation and IBookstore
(termFormat JapaneseLanguage IBookstore "iBookstore")	ComputingBrands.kif 3300-3300	creator AppleComputerCorporation and IBookstore

statement

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

ComputingBrands.kif 3305-3311

IBookstore has the purpose there exists ?D such that ?D is an instance of DownloadingOverNetwork and IBookstore is an instrument for ?D and ?T is an instance of text and objectTransferred ?D and ?T