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 standardOutputDevice の数値 1 引数は ComputerProcessinstance では %n
(domain standardOutputDevice 2 ComputerOutputDevice) QoSontology.kif 518-518 standardOutputDevice の数値 2 引数は ComputerOutputDeviceinstance では %n
(instance standardOutputDevice BinaryPredicate) QoSontology.kif 516-516 standardOutputDevice2進述語instance では %n
(instance standardOutputDevice CaseRole) QoSontology.kif 515-515 standardOutputDevice格役割instance では %n
(subrelation standardOutputDevice instrument) QoSontology.kif 514-514 standardOutputDeviceinstrumentsubrelation では %n

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