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
dataProcessed
Sigma KEE - dataProcessed
dataProcessed
appearance as argument number 1
(
documentation
dataProcessed
EnglishLanguage
"The data being processed during a
ComputerProcess
.")
QoSontology.kif 1879-1880
(
domain
dataProcessed
1
ComputerProcess
)
QoSontology.kif 1877-1877
O argumento numero 1 de
dataProcessed
e' uma
instancia
de
ComputerProcess
(
domain
dataProcessed
2
DigitalData
)
QoSontology.kif 1878-1878
O argumento numero 2 de
dataProcessed
e' uma
instancia
de
DigitalData
(
instance
dataProcessed
BinaryPredicate
)
QoSontology.kif 1876-1876
dataProcessed
e' uma
instancia
de
Predicado Binario
(
instance
dataProcessed
CaseRole
)
QoSontology.kif 1875-1875
dataProcessed
e' uma
instancia
de
Role em Caso
(
subrelation
dataProcessed
patient
)
QoSontology.kif 1874-1874
dataProcessed
e' uma
sub
-relacao de
patient
appearance as argument number 2
(
format
ChineseLanguage
dataProcessed
"%2 是由 %1 processed ")
domainEnglishFormat.kif 3158-3158
(
format
ChineseTraditionalLanguage
dataProcessed
"%2 是由 %1 processed ")
domainEnglishFormat.kif 3157-3157
(
format
EnglishLanguage
dataProcessed
"%2 is processed by %1")
domainEnglishFormat.kif 3156-3156
(
termFormat
ChineseLanguage
dataProcessed
"数据已处理")
domainEnglishFormat.kif 18570-18570
(
termFormat
ChineseTraditionalLanguage
dataProcessed
"數據已處理")
domainEnglishFormat.kif 18569-18569
(
termFormat
EnglishLanguage
dataProcessed
"data processed")
domainEnglishFormat.kif 18568-18568
antecedent
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
ComputerProcess
e' uma
instancia
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
DigitalData
ComputerProcess
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
tempo
de existencia de
ComputerProcess
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
DigitalData
e'
capaz
de fazer
Entidade
no role
dataProcessed
vale
durante
Entidade
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
termina
em
Entidade
ComputerProcess
tem por
fim
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entidade
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
e' uma
instancia
de
SoftwareUnInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
processAborted
Abort
and
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
ComputerProcess
ComputerProcess
e' uma
instancia
de
DataSaving
dataProcessed
ComputerProcess
and
DigitalData
consequent
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
ComputerProcess
e' uma
instancia
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
DigitalData
ComputerProcess
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
tempo
de existencia de
ComputerProcess
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
DigitalData
e'
capaz
de fazer
Entidade
no role
dataProcessed
vale
durante
Entidade
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
e' uma
instancia
de
SoftwareUnInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
processAborted
Abort
and
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
ComputerProcess
ComputerProcess
e' uma
instancia
de
DataSaving
dataProcessed
ComputerProcess
and
DigitalData
(=>
(
instance
?Save
DataSaving
)
(
exists
(?Data)
(
dataProcessed
?Save ?Data)))
QoSontology.kif 1909-1912
ComputerProcess
e' uma
instancia
de
DataSaving
DigitalData
dataProcessed
ComputerProcess
and
DigitalData
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