No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 138-138 | 子類 ComputerDisplay and 電腦輸出設備 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 139-139 | 子類 ComputerDisplay and DataDisplayDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 156-156 | 子類 ComputerScreen and ComputerDisplay |