| appearance as argument number 1 |
|
| (documentation dataProcessed EnglishLanguage "The data being processed during a ComputerProcess.") | QoSontology.kif 1985-1986 | |
| (domain dataProcessed 1 ComputerProcess) | QoSontology.kif 1983-1983 | |
| (domain dataProcessed 2 DigitalData) | QoSontology.kif 1984-1984 | |
| (instance dataProcessed BinaryPredicate) | QoSontology.kif 1982-1982 | |
| (instance dataProcessed CaseRole) | QoSontology.kif 1981-1981 | |
| (subrelation dataProcessed patient) | QoSontology.kif 1980-1980 |
| 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 18585-18585 | |
| (termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") | domainEnglishFormat.kif 18584-18584 | |
| (termFormat EnglishLanguage dataProcessed "data processed") | domainEnglishFormat.kif 18583-18583 |
| 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 (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 2032-2046 | |
| (=> (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 (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 (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 1999-2007 |
| 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 (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 (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 1999-2007 | |
| (=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data))) |
QoSontology.kif 2015-2018 |
|
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