No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1335-1335 |
FunctionKeyHoldDown 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1337-1337 |
FunctionKeyHoldDown 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1336-1336 |
FunctionKeyHoldDown 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1331-1333 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1329-1329 |
FunctionKeyHoldDown 是 KeyHoldDown 的 subclass |