No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 138-138 | Computer display is a subclass of computer output device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 139-139 | Computer display is a subclass of data display device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 156-156 | Computer screen is a subclass of computer display |