No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 846-846 | Computer menu is a subclass of UI element |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 857-857 | Textual computer menu is a subclass of computer menu |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 885-885 | Graphical computer menu is a subclass of computer menu |