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

Formal Language: 



KB Term:  Term intersection
English Word: 

  standardErrorDevice

 Sigma KEE - standardErrorDevice
standardErrorDevice

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


(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 536-538
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 534-534 Die Zahl 1 Argument von standardErrorDevice ist ein fall von ComputerProcess %n{nicht}
(domain standardErrorDevice 2 ComputerOutputDevice) QoSontology.kif 535-535 Die Zahl 2 Argument von standardErrorDevice ist ein fall von ComputerOutputDevice %n{nicht}
(instance standardErrorDevice BinaryPredicate) QoSontology.kif 533-533 standardErrorDevice ist ein fall von BinaryPredicate %n{nicht}
(instance standardErrorDevice CaseRole) QoSontology.kif 532-532 standardErrorDevice ist ein fall von CaseRole %n{nicht}
(subrelation standardErrorDevice instrument) QoSontology.kif 531-531 standardErrorDevice ist eine teilrelation von instrument

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


(format ChineseLanguage standardErrorDevice "%2 是 standard error device 对于 %1 ") domainEnglishFormat.kif 4602-4602
(format ChineseTraditionalLanguage standardErrorDevice "%2 是 standard error device 對於 %1 ") domainEnglishFormat.kif 4601-4601
(format EnglishLanguage standardErrorDevice "%2 is the standard error device for %1") domainEnglishFormat.kif 4600-4600
(termFormat ChineseLanguage standardErrorDevice "标准错误设备") domainEnglishFormat.kif 54984-54984
(termFormat ChineseTraditionalLanguage standardErrorDevice "標準錯誤設備") domainEnglishFormat.kif 54983-54983
(termFormat EnglishLanguage standardErrorDevice "standard error device") domainEnglishFormat.kif 54982-54982

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