No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1000-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 999-999 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 998-998 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1001-1001 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1006-1006 |
WindowsOS1 e' uma sub-classe de WindowsOS |