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
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
Il numero 1 argomenti di
standardOutputDevice
è un
istanza
di
ComputerProcess
(
domain
standardOutputDevice
2
ComputerOutputDevice
)
QoSontology.kif 518-518
Il numero 2 argomenti di
standardOutputDevice
è un
istanza
di
ComputerOutputDevice
(
instance
standardOutputDevice
BinaryPredicate
)
QoSontology.kif 516-516
standardOutputDevice
è un'
istanza
di
PredicatoBinario
(
instance
standardOutputDevice
CaseRole
)
QoSontology.kif 515-515
standardOutputDevice
è un'
istanza
di
RuoloSemantico
(
subrelation
standardOutputDevice
instrument
)
QoSontology.kif 514-514
standardOutputDevice
è una
sottorelazione
di
instrument
appearance as argument number 2
(
format
ChineseLanguage
standardOutputDevice
"%2 是 standard output
de
vice 對於 %1 ")
domainEnglishFormat.kif 4610-4610
(
format
ChineseTraditionalLanguage
standardOutputDevice
"%2 是 standard output
de
vice 對於 %1 ")
domainEnglishFormat.kif 4609-4609
(
format
EnglishLanguage
standardOutputDevice
"%2 is the standard output
de
vice for %1")
domainEnglishFormat.kif 4608-4608
(
termFormat
ChineseLanguage
standardOutputDevice
"标准输出设备")
domainEnglishFormat.kif 55010-55010
(
termFormat
ChineseTraditionalLanguage
standardOutputDevice
"標準輸出設備")
domainEnglishFormat.kif 55009-55009
(
termFormat
EnglishLanguage
standardOutputDevice
"standard output device")
domainEnglishFormat.kif 55008-55008
consequent
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerOutputDevice
standardOutputDevice
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