No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1088-1088 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1087-1087 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1086-1086 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1089-1089 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1095-1095 |
Windows 7 is a subclass of windows OS |