No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1055-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1054-1054 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1053-1053 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1056-1056 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1062-1062 |
Windows ME is a subclass of windows OS |