No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1010-1010 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1009-1009 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1008-1008 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1011-1011 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1017-1017 |
Windows 2.0 is a subclass of windows OS |