|
|
  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 |
|
|
|