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 a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3295-3295 |
IBookstore est une instance de WebSite |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3307-3307 |
managedBy IBookstore and AppleComputerCorporation |