| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 842-842 | UIElement e' uma sub-classe de Icone |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1983-1983 | WebPageModule e' uma sub-classe de UIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 846-846 | ComputerMenu e' uma sub-classe de UIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 865-865 | GUIElement e' uma sub-classe de UIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 887-887 | GraphicalComputerMenu e' uma sub-classe de UIElement |
|
|