No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 982-982 |
creator AppleComputerCorporation and AppleSetupAssistant |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 985-985 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 984-984 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 983-983 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 986-986 |
|