DigitalData - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DigitalData

DigitalData(digital data)

more pictures...

core_dump, precision_cookie, session_cookie

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1858-1859
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8453-8453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9149-9149
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9150-9150
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9151-9151
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9152-9152
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9153-9153
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1857-1857	Digital data is a subclass of symbolic string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 169-169	Computer file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1083-1083	Computer path is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	Computer report is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1875-1875	Database is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3512-3512	Hyperlink is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1868-1868	Image file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 260-260	Packet is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	Media.kif 1486-1486	WebPage is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	Media.kif 1497-1497	WebSite is a subclass of digital data
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19509-19509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19508-19508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19507-19507

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1884-1884	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 2213-2213	The number 2 argument of filename is an instance of digital data

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3469-3483	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.	Media.kif 801-812	If an object is an instance of DigitalDataStorageDevice and a symbolic string is a part of the object and the symbolic string is an instance of digital data, then there exist a CodeMap and a list such that the symbolic string in the CodeMap denotes an entity and the list expresses the CodeMap and if the entity is a member of the list, then the entity is an instance of binary number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1861-1866	If a physical is an instance of digital data, then there exists an object such that the object is an instance of DigitalDataStorageDevice and the physical is located at the object

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3193-3203	If booting up is an attribute of a time interval, then there exists an object such that the object is an instance of digital data and another object is an instance of operating system and another time interval is an instance of data transfer and the other time interval takes place during the time interval and the other time interval ends up at the time interval and the object is a part of the other object and the object transferred in the other time interval is the object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2698-2706	If a process is an instance of downloading, then there exist an entity and an agent such that the entity is a patient of the process and the agent is an agent of the process and the process ends up at the agent and the agent is an instance of computer system and the entity is an instance of digital data
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2793-2800	If a process is an instance of uploading, then there exist an entity and an agent such that the entity is a patient of the process and the agent is an agent of the process and the process originates at the agent and the entity is an instance of digital data
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3143-3150	If a physical is an instance of ComputerDesktopImage, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4290-4297	If a process is an instance of data entry, then there exists another process such that the other process is an instance of digital data and an agent is an agent of the other process and computer user is an attribute of the agent and the other process is a result of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3520-3522	If an entity is an instance of hyperlink, then the entity includes a reference to digital data
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4270-4281	If a process is an instance of two-factor login, then there exist a transfer and an object such that the transfer is a subprocess of the process and the transfer is an instance of data entry and the object is an instance of digital data and the object transferred in the transfer is the object and the object is not an instance of computer password and the object is not an instance of user name
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 95-106	If a process is an instance of data transfer, then there exist an object, an entity,, , another object and another entity such that the process originates at the object and the process ends up at the entity and the other object is an instrument for the process and the other entity is a patient of the process and the other entity is an instance of digital data and the other object is an instance of hardware system and the object is an instance of hardware system and the entity is an instance of computational system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1686-1691	If an entity is an instance of uniform resource identifier, then there exists another entity such that the other entity is an instance of digital data and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-128	If a process is an instance of DeletingData, then there exists an entity such that the entity is an instance of digital data and the entity is a patient of the process and there doesn't exist another entity such that the other entity is an instance of computer process and the other entity is not an instance of restore and the entity is capable of doing the other entity as a patient holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 134-149	If a process is an instance of restore, then there exist another process, an entity and another entity such that the other process is an instance of DeletingData and the other entity is an instance of digital data and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of computer process and the other entity is capable of doing the entity as a patient holds during immediately after the time of existence of the 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