No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3293-3293 |
creator AppleComputerCorporation and IBooks |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3290-3290 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3285-3285 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3289-3289 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3284-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3288-3288 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3283-3283 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3291-3291 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3286-3286 |
|