No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1656-1656 |
AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1657-1657 |
AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1655-1655 |
AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1653-1654 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1652-1652 |
AudioInput 是 UserDirectAction 的 subclass |