No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1121-1121 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1120-1120 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1119-1119 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1122-1122 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1128-1128 |
Windows 10 is a subclass of windows OS |