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
The number 1 argument of
data processed
is an
instance
of
computer process
(
domain
dataProcessed
2
DigitalData
)
QoSontology.kif 1878-1878
The number 2 argument of
data processed
is an
instance
of
digital data
(
instance
dataProcessed
BinaryPredicate
)
QoSontology.kif 1876-1876
data processed
is an
instance
of
binary predicate
(
instance
dataProcessed
CaseRole
)
QoSontology.kif 1875-1875
data processed
is an
instance
of
case role
(
subrelation
dataProcessed
patient
)
QoSontology.kif 1874-1874
data processed
is a
subrelation
of
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
If
a computer process
is an
instance
of
backup
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
digital data
and
a cognitive agent
is an
agent
of
the computer process
,
then
the cognitive agent
desire
s there exists
an entity
such that the
time
of existence of
the computer process
happens
earlier
than
the entity
and there exists
another entity
such that
the other entity
is an
instance
of
computer process
and
the digital data
is
capable
of doing
the other entity
as a
data processed
holds
during
the entity
(=>
(
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
If
a computer process
is an
instance
of
data compression
and
a digital data
is
processed
by
the computer process
and
the digital data
requires
a real number
an entity
(s) holds
during
immediately
before
the
time
of existence of
the computer process
and
the digital data
requires
another real number
the entity
(s) holds
during
immediately
after
the
time
of existence of
the computer process
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
If
a computer process
is an
instance
of
installation
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
end
s up at
an entity
,
then
the computer process
has the purpose there exists
the digital data
ROC such that
the digital data
ROC is
running
on
the entity
(=>
(
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
If
a computer process
is an
instance
of
un installation
and
a time interval
is
equal
to the
time
of existence of
the computer process
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
is
located
at
an object
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
installation
and
the other time interval
is
equal
to the
time
of existence of
the other computer process
and
the digital data
is
processed
by
the other computer process
and
the digital data
is an
instance
of
computer program
and
the other computer process
is
located
at
the object
and
the other time interval
happens
earlier
than
the time interval
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
If
a computer process
is a
process
aborted of
an abort
and
a digital data
is
processed
by
the computer process
,
then there doesn't exist
another computer process
such that
the other computer process
is an
instance
of
data saving
and
the digital data
is
processed
by
the other computer process
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
If
a computer process
is an
instance
of
backup
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
digital data
and
a cognitive agent
is an
agent
of
the computer process
,
then
the cognitive agent
desire
s there exists
an entity
such that the
time
of existence of
the computer process
happens
earlier
than
the entity
and there exists
another entity
such that
the other entity
is an
instance
of
computer process
and
the digital data
is
capable
of doing
the other entity
as a
data processed
holds
during
the entity
(=>
(
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
If
a computer process
is an
instance
of
un installation
and
a time interval
is
equal
to the
time
of existence of
the computer process
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
is
located
at
an object
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
installation
and
the other time interval
is
equal
to the
time
of existence of
the other computer process
and
the digital data
is
processed
by
the other computer process
and
the digital data
is an
instance
of
computer program
and
the other computer process
is
located
at
the object
and
the other time interval
happens
earlier
than
the time interval
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
If
a computer process
is a
process
aborted of
an abort
and
a digital data
is
processed
by
the computer process
,
then there doesn't exist
another computer process
such that
the other computer process
is an
instance
of
data saving
and
the digital data
is
processed
by
the other computer process
(=>
(
instance
?Save
DataSaving
)
(
exists
(?Data)
(
dataProcessed
?Save ?Data)))
QoSontology.kif 1909-1912
If
a computer process
is an
instance
of
data saving
,
then there exists
a digital data
such that
the digital data
is
processed
by
the computer process
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