No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 156-156 | Computer screen is a subclass of computer display |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 438-438 | Computer touchscreen is a subclass of computer screen |