No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1652-1652 | Audio input is a subclass of user direct action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1659-1659 | Audio input control is a subclass of audio input |