GUE_CoveredState |
appearance as argument number 1 |
(contraryAttribute GUE_CoveredState GUE_SelectedState) | ComputerInput.kif 2187-2187 | 相反的屬性 GUE_CoveredState and GUE_SelectedState |
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) | ComputerInput.kif 2115-2115 | 相反的屬性 GUE_CoveredState, GUE_UncoveredState and GUE_PartiallyCoveredState |
(documentation GUE_CoveredState EnglishLanguage "A GUIElement has a GUE_CoveredState if it does not appear on a ComputerScreen and every portion of it on the computer window space (including parts outside the visible window) for which it is defined has something opaque being displayed on a layer conceptually closer to the viewer.") | ComputerInput.kif 2075-2078 | |
(instance GUE_CoveredState GUElementState) | ComputerInput.kif 2073-2073 | 例 GUE_CoveredState and GUElementState |
(subAttribute GUE_CoveredState GUE_NonVisibleState) | ComputerInput.kif 2074-2074 | 子屬性 GUE_CoveredState and GUE_NonVisibleState |
appearance as argument number 2 |
(termFormat EnglishLanguage GUE_CoveredState "GUE covered state") | domainEnglishFormat.kif 64903-64903 |
antecedent |
(=> (and (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_CoveredState)) (hasGUEState ?GUIE_SM GUE_CoveredState)) |
ComputerInput.kif 2082-2088 |
|
consequent |