Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IBookstore

Sigma KEE - IBookstore
IBookstore

appearance as argument number 1
-------------------------


(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3125-3125
(documentation IBookstore ChineseLanguage "用来下载苹果书的网页") ComputingBrands.kif 3116-3116
(documentation IBookstore ChineseTraditionalLanguage "用來下載蘋果書的網頁") ComputingBrands.kif 3115-3115
(documentation IBookstore EnglishLanguage "Website for downloading Apple Books") ComputingBrands.kif 3114-3114
(documentation IBookstore JapaneseLanguage "Apple Booksをダウンロードするウエブサイト") ComputingBrands.kif 3117-3117
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3128-3134
(instance IBookstore Website) ComputingBrands.kif 3113-3113
(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3126-3126

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage IBookstore "iBookstore") ComputingBrands.kif 3121-3121
(termFormat ChineseTraditionalLanguage IBookstore "iBookstore") ComputingBrands.kif 3120-3120
(termFormat EnglishLanguage IBookstore "iBookstore") ComputingBrands.kif 3119-3119
(termFormat JapaneseLanguage IBookstore "iBookstore") ComputingBrands.kif 3122-3122

statement
-------------------------


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3128-3134


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners