TreeView Knowledge Base Browser - dataProcessed

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - dataProcessed

dataProcessed

appearance as argument number 1

(documentation dataProcessed EnglishLanguage "The data being processed during a ComputerProcess.")	QoSontology.kif 1884-1885
(domain dataProcessed 1 ComputerProcess)	QoSontology.kif 1882-1882	The number 1 argument of data processed is an instance of computer process
(domain dataProcessed 2 DigitalData)	QoSontology.kif 1883-1883	The number 2 argument of data processed is an instance of digital data
(instance dataProcessed BinaryPredicate)	QoSontology.kif 1881-1881	data processed is an instance of binary predicate
(instance dataProcessed CaseRole)	QoSontology.kif 1880-1880	data processed is an instance of case role
(subrelation dataProcessed patient)	QoSontology.kif 1879-1879	data processed is a subrelation of patient

appearance as argument number 2

(format ChineseLanguage dataProcessed "%2 是由 %1 processed ")	domainEnglishFormat.kif 3163-3163
(format ChineseTraditionalLanguage dataProcessed "%2 是由 %1 processed ")	domainEnglishFormat.kif 3162-3162
(format EnglishLanguage dataProcessed "%2 is processed by %1")	domainEnglishFormat.kif 3161-3161
(termFormat ChineseLanguage dataProcessed "数据已处理")	domainEnglishFormat.kif 18561-18561
(termFormat ChineseTraditionalLanguage dataProcessed "數據已處理")	domainEnglishFormat.kif 18560-18560
(termFormat EnglishLanguage dataProcessed "data processed")	domainEnglishFormat.kif 18559-18559

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 3461-3475	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
(=> (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 1931-1945	If a computer process is an instance of data compression and a digital data is processed by the computer process and the digital data requires a real number an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another real number the entity(s) holds during immediately after the time of existence of the computer process, then the other real number is less than the real number
(=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C))))	ComputingBrands.kif 3556-3564	If a computer process is an instance of installation and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process ends up at an entity, then the computer process has the purpose there exists the digital dataROC such that the digital dataROC is running on the 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 3566-3580	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval
(=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data)))))	QoSontology.kif 1898-1906	If a computer process is a process aborted of an abort and a digital data is processed by the computer process, then there doesn't exist another computer process such that the other computer process is an instance of data saving and the digital data is processed by the other computer process

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 3461-3475	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the 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 3566-3580	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval
(=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data)))))	QoSontology.kif 1898-1906	If a computer process is a process aborted of an abort and a digital data is processed by the computer process, then there doesn't exist another computer process such that the other computer process is an instance of data saving and the digital data is processed by the other computer process
(=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data)))	QoSontology.kif 1914-1917	If a computer process is an instance of data saving, then there exists a digital data such that the digital data is processed by the computer process

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