| 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 | |
| (domain dataProcessed 2 DigitalData) | QoSontology.kif 1878-1878 | |
| (instance dataProcessed BinaryPredicate) | QoSontology.kif 1876-1876 | |
| (instance dataProcessed CaseRole) | QoSontology.kif 1875-1875 | |
| (subrelation dataProcessed patient) | QoSontology.kif 1874-1874 |
| 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 (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 (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 1893-1901 |
| 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 1893-1901 | |
| (=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data))) |
QoSontology.kif 1909-1912 |
|
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