guiElementPartiallyCoveredBy |
appearance as argument number 1 |
(documentation guiElementPartiallyCoveredBy EnglishLanguage "(guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2.") | ComputerInput.kif 2594-2595 | |
(domain guiElementPartiallyCoveredBy 1 GUIElement) | ComputerInput.kif 2592-2592 | guiElementPartiallyCoveredBy の数値 1 引数は GUIElement の instance では %n |
(domain guiElementPartiallyCoveredBy 2 GUIElement) | ComputerInput.kif 2593-2593 | guiElementPartiallyCoveredBy の数値 2 引数は GUIElement の instance では %n |
(instance guiElementPartiallyCoveredBy AsymmetricRelation) | ComputerInput.kif 2591-2591 | guiElementPartiallyCoveredBy は 非対称関係 の instance では %n |
(instance guiElementPartiallyCoveredBy BinaryPredicate) | ComputerInput.kif 2590-2590 | guiElementPartiallyCoveredBy は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ") | domainEnglishFormat.kif 3582-3582 | |
(format ChineseTraditionalLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ") | domainEnglishFormat.kif 3581-3581 | |
(format EnglishLanguage guiElementPartiallyCoveredBy "%1 is partially covered by %2") | domainEnglishFormat.kif 3580-3580 | |
(termFormat EnglishLanguage guiElementPartiallyCoveredBy "GUI element partially covered by") | domainEnglishFormat.kif 65844-65844 |
consequent |