displayedUpon |
appearance as argument number 1 |
(documentation displayedUpon EnglishLanguage "(displayedUpon ?IMAGE ?DISPLAY) means that the image, ?IMAGE is displayed upon the ComputerDisplay, ?DISPLAY. A computer connected to multiple ComputerDisplays can have the same images displayed upon more than one display, or have them restricted to a single display.") | ComputerInput.kif 151-154 | |
(domain displayedUpon 1 Image) | ComputerInput.kif 149-149 | displayedUpon の数値 1 引数は Image の instance では %n |
(domain displayedUpon 2 ComputerDisplay) | ComputerInput.kif 150-150 | displayedUpon の数値 2 引数は ComputerDisplay の instance では %n |
(instance displayedUpon BinaryPredicate) | ComputerInput.kif 148-148 | displayedUpon は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage displayedUpon "%1 是在 %2 displayed ") | domainEnglishFormat.kif 3270-3270 | |
(format ChineseTraditionalLanguage displayedUpon "%1 是在 %2 displayed ") | domainEnglishFormat.kif 3269-3269 | |
(format EnglishLanguage displayedUpon "%1 is displayed on %2") | domainEnglishFormat.kif 3268-3268 | |
(termFormat EnglishLanguage displayedUpon "displayed upon") | domainEnglishFormat.kif 65813-65813 |
consequent |