No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1021-1021 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1020-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1022-1022 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1028-1028 |
Windows 3 is a subclass of windows OS |