Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  standardOutputDevice

 Sigma KEE - standardOutputDevice
standardOutputDevice

appearance as argument number 1
-------------------------


(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 519-521
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 517-517 Die Zahl 1 Argument von standardOutputDevice ist ein fall von ComputerProcess %n{nicht}
(domain standardOutputDevice 2 ComputerOutputDevice) QoSontology.kif 518-518 Die Zahl 2 Argument von standardOutputDevice ist ein fall von ComputerOutputDevice %n{nicht}
(instance standardOutputDevice BinaryPredicate) QoSontology.kif 516-516 standardOutputDevice ist ein fall von BinaryPredicate %n{nicht}
(instance standardOutputDevice CaseRole) QoSontology.kif 515-515 standardOutputDevice ist ein fall von CaseRole %n{nicht}
(subrelation standardOutputDevice instrument) QoSontology.kif 514-514 standardOutputDevice ist eine teilrelation von instrument

appearance as argument number 2
-------------------------


(format ChineseLanguage standardOutputDevice "%2 是 standard output device 對於 %1 ") domainEnglishFormat.kif 4610-4610
(format ChineseTraditionalLanguage standardOutputDevice "%2 是 standard output device 對於 %1 ") domainEnglishFormat.kif 4609-4609
(format EnglishLanguage standardOutputDevice "%2 is the standard output device for %1") domainEnglishFormat.kif 4608-4608
(termFormat ChineseLanguage standardOutputDevice "标准输出设备") domainEnglishFormat.kif 55008-55008
(termFormat ChineseTraditionalLanguage standardOutputDevice "標準輸出設備") domainEnglishFormat.kif 55007-55007
(termFormat EnglishLanguage standardOutputDevice "standard output device") domainEnglishFormat.kif 55006-55006

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners