screenOfGUIE |
appearance as argument number 1 |
(documentation screenOfGUIE EnglishLanguage "(screenOfGUIE ?GUIE ?SCREEN) means that the GUIElement, ?GUIE, is displayed on, or at least logically assigned to be displayed on the ComputerScreen, ?SCREEN.") | ComputerInput.kif 875-876 | |
(domain screenOfGUIE 1 GUIElement) | ComputerInput.kif 873-873 | Il numero 1 argomenti di screenOfGUIE è un istanza di GUIElement |
(domain screenOfGUIE 2 ComputerScreen) | ComputerInput.kif 874-874 | Il numero 2 argomenti di screenOfGUIE è un istanza di ComputerScreen |
(instance screenOfGUIE BinaryPredicate) | ComputerInput.kif 872-872 | screenOfGUIE è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage screenOfGUIE "%1 是 displayed 在 %2 ") | domainEnglishFormat.kif 4466-4466 | |
(format ChineseTraditionalLanguage screenOfGUIE "%1 是 displayed 在 %2 ") | domainEnglishFormat.kif 4465-4465 | |
(format EnglishLanguage screenOfGUIE "%1 is displayed on %2") | domainEnglishFormat.kif 4464-4464 | |
(termFormat EnglishLanguage screenOfGUIE "screen of GUIE") | domainEnglishFormat.kif 65931-65931 |
antecedent |