No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1128-1128 | Computer menu item is a subclass of GUI active area |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1143-1143 | Graphical menu item is a subclass of computer menu item |