TreeView Knowledge Base Browser

appearance as argument number 1

(instance IBookstore WebSite)	ComputingBrands.kif 3202-3202	IBookstore is an instance of web site
(documentation IBookstore EnglishLanguage "Website for downloading Apple Books")	ComputingBrands.kif 3203-3203	IBookstore is an instance of web site
(documentation IBookstore ChineseTraditionalLanguage "用來下載蘋果書的網頁")	ComputingBrands.kif 3204-3204	IBookstore is an instance of web site
(documentation IBookstore ChineseLanguage "用来下载苹果书的网页")	ComputingBrands.kif 3205-3205	IBookstore is an instance of web site
(documentation IBookstore JapaneseLanguage "Apple Booksをダウンロードするウエブサイト")	ComputingBrands.kif 3206-3206	IBookstore is an instance of web site
(managedBy IBookstore AppleComputerCorporation)	ComputingBrands.kif 3214-3214	IBookstore is managed by Apple
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T))))	ComputingBrands.kif 3216-3222	IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T

appearance as argument number 2

(termFormat EnglishLanguage IBookstore "iBookstore")	ComputingBrands.kif 3208-3208
(termFormat ChineseTraditionalLanguage IBookstore "iBookstore")	ComputingBrands.kif 3209-3209
(termFormat ChineseLanguage IBookstore "iBookstore")	ComputingBrands.kif 3210-3210
(termFormat JapaneseLanguage IBookstore "iBookstore")	ComputingBrands.kif 3211-3211
(creator AppleComputerCorporation IBookstore)	ComputingBrands.kif 3213-3213	Apple created iBookstore

statement

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

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