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 |
WindowsOS2 e' uma sub-classe de WindowsOS |