standardErrorDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation standardErrorDevice instrument)	QoSontology.kif 625-625	standard error device is a subrelation of instrument
(instance standardErrorDevice CaseRole)	QoSontology.kif 626-626	standard error device is an instance of case role
(instance standardErrorDevice BinaryPredicate)	QoSontology.kif 627-627	standard error device is an instance of binary predicate
(domain standardErrorDevice 1 ComputerProcess)	QoSontology.kif 628-628	The number 1 argument of standard error device is an instance of computer process
(domain standardErrorDevice 2 ComputerOutputDevice)	QoSontology.kif 629-629	The number 2 argument of standard error device is an instance of computer output device
(documentation standardErrorDevice EnglishLanguage "(standardErrorDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined error channel with which the running version of this program is initialised.")	QoSontology.kif 630-632	The number 2 argument of standard error device is an instance of computer output device

appearance as argument number 2

(format EnglishLanguage standardErrorDevice "%2 is the standard error device for %1")	domainEnglishFormat.kif 4604-4604
(format ChineseTraditionalLanguage standardErrorDevice "%2 是 standard error device 對於 %1 ")	domainEnglishFormat.kif 4605-4605
(format ChineseLanguage standardErrorDevice "%2 是 standard error device 对于 %1 ")	domainEnglishFormat.kif 4606-4606
(termFormat EnglishLanguage standardErrorDevice "standard error device")	domainEnglishFormat.kif 54979-54979
(termFormat ChineseTraditionalLanguage standardErrorDevice "標準錯誤設備")	domainEnglishFormat.kif 54980-54980
(termFormat ChineseLanguage standardErrorDevice "标准错误设备")	domainEnglishFormat.kif 54981-54981

consequent

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

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