| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 864-864 | GUIElement est une sous-classe de Image |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 865-865 | GUIElement est une sous-classe de UIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2180-2180 | BannerNotification est une sous-classe de GUIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2532-2532 | GUIDock est une sous-classe de GUIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 878-878 | GUIActiveArea est une sous-classe de GUIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1046-1046 | Cursor est une sous-classe de GUIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1075-1075 | InterfaceWindow est une sous-classe de GUIElement |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1101-1101 | TextBox est une sous-classe de GUIElement |
|
|