Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
Il numero 1 argomenti di
standardErrorDevice
è un
istanza
di
ComputerProcess
(
domain
standardErrorDevice
2
ComputerOutputDevice
)
QoSontology.kif 535-535
Il numero 2 argomenti di
standardErrorDevice
è un
istanza
di
ComputerOutputDevice
(
instance
standardErrorDevice
BinaryPredicate
)
QoSontology.kif 533-533
standardErrorDevice
è un'
istanza
di
PredicatoBinario
(
instance
standardErrorDevice
CaseRole
)
QoSontology.kif 532-532
standardErrorDevice
è un'
istanza
di
RuoloSemantico
(
subrelation
standardErrorDevice
instrument
)
QoSontology.kif 531-531
standardErrorDevice
è una
sottorelazione
di
instrument
appearance as argument number 2
(
format
ChineseLanguage
standardErrorDevice
"%2 是 standard error
de
vice 对于 %1 ")
domainEnglishFormat.kif 4602-4602
(
format
ChineseTraditionalLanguage
standardErrorDevice
"%2 是 standard error
de
vice 對於 %1 ")
domainEnglishFormat.kif 4601-4601
(
format
EnglishLanguage
standardErrorDevice
"%2 is the standard error
de
vice for %1")
domainEnglishFormat.kif 4600-4600
(
termFormat
ChineseLanguage
standardErrorDevice
"标准错误设备")
domainEnglishFormat.kif 54986-54986
(
termFormat
ChineseTraditionalLanguage
standardErrorDevice
"標準錯誤設備")
domainEnglishFormat.kif 54985-54985
(
termFormat
EnglishLanguage
standardErrorDevice
"standard error device")
domainEnglishFormat.kif 54984-54984
consequent
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerOutputDevice
standardErrorDevice
ComputerProcess
and
ComputerOutputDevice
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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