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 and
電腦程序
(
domain
dataProcessed
2
DigitalData
)
QoSontology.kif 1878-1878
域
數據已處理
, 2 and
數字數據
(
instance
dataProcessed
BinaryPredicate
)
QoSontology.kif 1876-1876
例
數據已處理
and
BinaryPredicate
(
instance
dataProcessed
CaseRole
)
QoSontology.kif 1875-1875
例
數據已處理
and
CaseRole
(
subrelation
dataProcessed
patient
)
QoSontology.kif 1874-1874
子關係
數據已處理
and
患者
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
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
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
例
電腦程序
and
數據壓縮
數字數據
是由
電腦程序
processed
持有期間
不久的過去
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
例
電腦程序
and
安裝
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
目的地
電腦程序
and
Entity
有目的
電腦程序
and
數字數據
ROC
數字數據
ROC 是
running
在
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
例
電腦程序
and
反安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
電腦程序
TimeInterval
例
電腦程序
and
安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
電腦程序
是
退出
中止的
process
數字數據
是由
電腦程序
processed
電腦程序
例
電腦程序
and
數據保存
數字數據
是由
電腦程序
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
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
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
例
電腦程序
and
反安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
電腦程序
TimeInterval
例
電腦程序
and
安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
processAborted
?Abort ?Process)
(
dataProcessed
?Process ?Data))
(
not
(
exists
(?Save)
(
and
(
instance
?Save
DataSaving
)
(
dataProcessed
?Save ?Data)))))
QoSontology.kif 1893-1901
電腦程序
是
退出
中止的
process
數字數據
是由
電腦程序
processed
電腦程序
例
電腦程序
and
數據保存
數字數據
是由
電腦程序
processed
(=>
(
instance
?Save
DataSaving
)
(
exists
(?Data)
(
dataProcessed
?Save ?Data)))
QoSontology.kif 1909-1912
例
電腦程序
and
數據保存
數字數據
數字數據
是由
電腦程序
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