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
数据已处理
的 1 数量 是
电脑程序
的
instance
(
domain
dataProcessed
2
DigitalData
)
QoSontology.kif 1878-1878
数据已处理
的 2 数量 是
数字数据
的
instance
(
instance
dataProcessed
BinaryPredicate
)
QoSontology.kif 1876-1876
数据已处理
是
二元谓语
的
instance
(
instance
dataProcessed
CaseRole
)
QoSontology.kif 1875-1875
数据已处理
是
格角色
的
instance
(
subrelation
dataProcessed
patient
)
QoSontology.kif 1874-1874
数据已处理
是
受事
的
subrelation
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
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
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
如果
电脑程序
是
数据压缩
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
requires
实数
实体
在 紧接
那个 电脑程序
出现 的
time
before
holdsDuring
和
那个 数字数据
requires
另一个 实数
那个 实体
在 紧接
那个 电脑程序
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
如果
电脑程序
是
安装
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
在
实体
结束,
然后
那个 电脑程序
的 目的 是 有存在
那个 数字数据
ROC 这样
那个 数字数据
ROC 是
running
在
那个 实体
(=>
(
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
如果
电脑程序
是
反安装
的
instance
和
时距
equal
那个 电脑程序
出现 的
time
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
是
located
在
客体
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
安装
的
instance
和
那个 另外 时距
equal
那个 另外 电脑程序
出现 的
time
和
那个 数字数据
是由
那个 另外 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
located
在
那个 客体
和
那个 另外 时距
比
那个 时距
发生的
earlier
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
如果
电脑程序
是
退出
中止的
process
和
数字数据
是由
那个 电脑程序
processed
,
然后 不存在
另一个 电脑程序
这样
那个 另外 电脑程序
是
数据保存
的
instance
和
那个 数字数据
是由
那个 另外 电脑程序
processed
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
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
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
如果
电脑程序
是
反安装
的
instance
和
时距
equal
那个 电脑程序
出现 的
time
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
是
located
在
客体
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
安装
的
instance
和
那个 另外 时距
equal
那个 另外 电脑程序
出现 的
time
和
那个 数字数据
是由
那个 另外 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
located
在
那个 客体
和
那个 另外 时距
比
那个 时距
发生的
earlier
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
如果
电脑程序
是
退出
中止的
process
和
数字数据
是由
那个 电脑程序
processed
,
然后 不存在
另一个 电脑程序
这样
那个 另外 电脑程序
是
数据保存
的
instance
和
那个 数字数据
是由
那个 另外 电脑程序
processed
(=>
(
instance
?Save
DataSaving
)
(
exists
(?Data)
(
dataProcessed
?Save ?Data)))
QoSontology.kif 1909-1912
如果
电脑程序
是
数据保存
的
instance
,
然后 有存在
数字数据
这样
那个 数字数据
是由
那个 电脑程序
processed
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