No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1692-1692 |
Typing 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1694-1694 |
Typing 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1693-1693 |
Typing 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1689-1690 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1688-1688 |
Typing 是 KeyboardAction 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1872-1872 |
Typing isgnifies InputCharacterString |