standardOutputDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation standardOutputDevice instrument)	QoSontology.kif 608-608	standard output device is a subrelation of instrument
(instance standardOutputDevice CaseRole)	QoSontology.kif 609-609	standard output device is an instance of case role
(instance standardOutputDevice BinaryPredicate)	QoSontology.kif 610-610	standard output device is an instance of binary predicate
(domain standardOutputDevice 1 ComputerProcess)	QoSontology.kif 611-611	The number 1 argument of standard output device is an instance of computer process
(domain standardOutputDevice 2 ComputerOutputDevice)	QoSontology.kif 612-612	The number 2 argument of standard output device is an instance of computer output device
(documentation standardOutputDevice EnglishLanguage "(standardOutputDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined output channel with which the running version of this program is initialised.")	QoSontology.kif 613-615	The number 2 argument of standard output device is an instance of computer output device

appearance as argument number 2

(format EnglishLanguage standardOutputDevice "%2 is the standard output device for %1")	domainEnglishFormat.kif 4612-4612
(format ChineseTraditionalLanguage standardOutputDevice "%2 是 standard output device 對於 %1 ")	domainEnglishFormat.kif 4613-4613
(format ChineseLanguage standardOutputDevice "%2 是 standard output device 對於 %1 ")	domainEnglishFormat.kif 4614-4614
(termFormat EnglishLanguage standardOutputDevice "standard output device")	domainEnglishFormat.kif 55003-55003
(termFormat ChineseTraditionalLanguage standardOutputDevice "標準輸出設備")	domainEnglishFormat.kif 55004-55004
(termFormat ChineseLanguage standardOutputDevice "标准输出设备")	domainEnglishFormat.kif 55005-55005

consequent

(=>
    (programRunning ?Process ?Program)
    (exists (?Device)
        (standardOutputDevice ?Process ?Device)))

If X is a program running of Y, then there exists Z such that Z is the standard output device for Y