| appearance as argument number 1 |
|
| (documentation dataProcessed EnglishLanguage "The data being processed during a ComputerProcess.") | QoSontology.kif 2010-2011 | |
| (domain dataProcessed 1 ComputerProcess) | QoSontology.kif 2008-2008 | |
| (domain dataProcessed 2 DigitalData) | QoSontology.kif 2009-2009 | |
| (instance dataProcessed BinaryPredicate) | QoSontology.kif 2007-2007 | |
| (instance dataProcessed CaseRole) | QoSontology.kif 2006-2006 | |
| (subrelation dataProcessed patient) | QoSontology.kif 2005-2005 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage dataProcessed "%2 是由 %1 processed ") | domainEnglishFormat.kif 3154-3154 | |
| (format ChineseTraditionalLanguage dataProcessed "%2 是由 %1 processed ") | domainEnglishFormat.kif 3153-3153 | |
| (format EnglishLanguage dataProcessed "%2 is processed by %1") | domainEnglishFormat.kif 3152-3152 | |
| (termFormat ChineseLanguage dataProcessed "数据已处理") | domainEnglishFormat.kif 18579-18579 | |
| (termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") | domainEnglishFormat.kif 18578-18578 | |
| (termFormat EnglishLanguage dataProcessed "data processed") | domainEnglishFormat.kif 18577-18577 |
| 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 3492-3506 | |
| (=> (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 2057-2071 | |
| (=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3588-3596 | |
| (=> (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 3598-3612 | |
| (=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 2024-2032 |
| 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 3492-3506 | |
| (=> (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 3598-3612 | |
| (=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 2024-2032 | |
| (=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data))) |
QoSontology.kif 2040-2043 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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