Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| guiElementPartiallyCoveredBy |
| appearance as argument number 1 |
|
| (instance guiElementPartiallyCoveredBy BinaryPredicate) | ComputerInput.kif 2606-2606 | GUI element partially covered by is an instance of binary predicate |
| (instance guiElementPartiallyCoveredBy AsymmetricRelation) | ComputerInput.kif 2607-2607 | GUI element partially covered by is an instance of asymmetric relation |
| (domain guiElementPartiallyCoveredBy 1 GUIElement) | ComputerInput.kif 2608-2608 | The number 1 argument of GUI element partially covered by is an instance of GUI element |
| (domain guiElementPartiallyCoveredBy 2 GUIElement) | ComputerInput.kif 2609-2609 | The number 2 argument of GUI element partially covered by is an instance of GUI element |
| (documentation guiElementPartiallyCoveredBy EnglishLanguage "(guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2.") | ComputerInput.kif 2610-2611 | The number 2 argument of GUI element partially covered by is an instance of GUI element |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage guiElementPartiallyCoveredBy "%1 is partially covered by %2") | domainEnglishFormat.kif 3578-3578 | |
| (format ChineseTraditionalLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ") | domainEnglishFormat.kif 3579-3579 | |
| (format ChineseLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ") | domainEnglishFormat.kif 3580-3580 | |
| (termFormat EnglishLanguage guiElementPartiallyCoveredBy "GUI element partially covered by") | domainEnglishFormat.kif 65860-65860 |
| consequent |
|
|
| (=> (and (instance ?COVERING CoveringGUIElement) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (or (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))) |
ComputerInput.kif 2613-2623 | If X is an instance of covering GUI element, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is covered by ?GUIE_TOP or ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
| (=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))) |
ComputerInput.kif 2625-2633 | If X is an instance of partially covering graphical window, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
|