standardInputDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation standardInputDevice instrument)	QoSontology.kif 594-594	standard input device is a subrelation of instrument
(instance standardInputDevice CaseRole)	QoSontology.kif 595-595	standard input device is an instance of case role
(instance standardInputDevice BinaryPredicate)	QoSontology.kif 596-596	standard input device is an instance of binary predicate
(domain standardInputDevice 1 ComputerProcess)	QoSontology.kif 597-597	The number 1 argument of standard input device is an instance of computer process
(domain standardInputDevice 2 ComputerInputDevice)	QoSontology.kif 598-598	The number 2 argument of standard input device is an instance of computer input device
(documentation standardInputDevice EnglishLanguage "(standardInputDevice ?PROCESS ?DEVICE) holds just in case the DEVICE is the predefined input channel with which the running version of the program PROCESS is initialised.")	QoSontology.kif 599-601	The number 2 argument of standard input device is an instance of computer input device

appearance as argument number 2

(format EnglishLanguage standardInputDevice "%2 is the standard input device for %1")	domainEnglishFormat.kif 4608-4608
(format ChineseTraditionalLanguage standardInputDevice "%2 是 standard input device 對於 %1 ")	domainEnglishFormat.kif 4609-4609
(format ChineseLanguage standardInputDevice "%2 是 standard input device 对于 %1 ")	domainEnglishFormat.kif 4610-4610
(termFormat EnglishLanguage standardInputDevice "standard input device")	domainEnglishFormat.kif 54997-54997
(termFormat ChineseTraditionalLanguage standardInputDevice "標準輸入設備")	domainEnglishFormat.kif 54998-54998
(termFormat ChineseLanguage standardInputDevice "标准输入设备")	domainEnglishFormat.kif 54999-54999

consequent

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

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