No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 989-989 |
creator AppleComputerCorporation and AppleMigrationAssistant |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 992-992 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 991-991 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 990-990 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 993-993 |
|