dataProcessed - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2010-2011
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2008-2008	The number 1 argument of data processed is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2009-2009	The number 2 argument of data processed is an instance of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2007-2007	data processed is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2006-2006	data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2005-2005	data processed is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3154-3154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3153-3153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3152-3152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18579-18579
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18578-18578
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18577-18577

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3492-3506	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2057-2071	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3588-3596	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3598-3612	If a computer process is an instance of un installation and equal a time interval and 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 equal the other time interval and 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2024-2032	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

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3492-3506	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3598-3612	If a computer process is an instance of un installation and equal a time interval and 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 equal the other time interval and 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2024-2032	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2040-2043	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 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