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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IBookstore

Sigma KEE - IBookstore
IBookstore(iBookstore)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3264-3264
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3263-3263
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3262-3262
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3265-3265
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3275-3281 IBookstore has the 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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3261-3261 IBookstore is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3273-3273 IBookstore is managed by Apple

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3272-3272 Apple created iBookstore
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3269-3269
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3268-3268
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3267-3267
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3270-3270

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3275-3281 IBookstore has the 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


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 3.0 is open source software produced by Articulate Software and its partners