hasGUEState |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2149-2155 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2190-2198 |
|