No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3298-3298 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3297-3297 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3296-3296 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3299-3299 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3309-3315 |
IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3295-3295 |
IBookstore 是 WebSite 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3307-3307 |
IBookstore 是由 苹果 managed |