No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 975-975 |
creator AppleComputerCorporation and AppleSafari |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 978-978 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 977-977 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 976-976 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 979-979 |
|