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

(documentation DigitalData EnglishLanguage "This term refers to any data that is recorded, displayed, or stored as a string of BinaryNumbers.")	QoSontology.kif 1983-1984
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG")	pictureList.kif 8450-8450
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg")	pictureList.kif 9143-9143
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg")	pictureList.kif 9144-9144
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg")	pictureList.kif 9145-9145
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg")	pictureList.kif 9146-9146
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg")	pictureList.kif 9147-9147
(subclass DigitalData SymbolicString)	QoSontology.kif 1982-1982	Digital data is a subclass of symbolic string

appearance as argument number 2

(subclass ComputerFile DigitalData)	QoSontology.kif 172-172	Computer file is a subclass of digital data
(subclass ComputerPath DigitalData)	QoSontology.kif 1187-1187	Computer path is a subclass of digital data
(subclass ComputerReport DigitalData)	QoSontology.kif 2237-2237	Computer report is a subclass of digital data
(subclass Database DigitalData)	QoSontology.kif 2000-2000	Database is a subclass of digital data
(subclass DigitalComment DigitalData)	ComputerInput.kif 2859-2859	Digital comment is a subclass of digital data
(subclass DigitalPost DigitalData)	ComputerInput.kif 2825-2825	Digital post is a subclass of digital data
(subclass HypertextLink DigitalData)	UXExperimentalTerms.kif 3304-3304	Hyperlink is a subclass of digital data
(subclass ImageFile DigitalData)	QoSontology.kif 1993-1993	Image file is a subclass of digital data
(subclass Packet DigitalData)	QoSontology.kif 263-263	Packet is a subclass of digital data
(subclass WebPage DigitalData)	Media.kif 1484-1484	Web page is a subclass of digital data
(subclass WebSite DigitalData)	Media.kif 1496-1496	Web site is a subclass of digital data
(termFormat ChineseLanguage DigitalData "数字数据")	domainEnglishFormat.kif 19533-19533	Web site is a subclass of digital data
(termFormat ChineseTraditionalLanguage DigitalData "數字數據")	domainEnglishFormat.kif 19532-19532	Web site is a subclass of digital data
(termFormat EnglishLanguage DigitalData "digital data")	domainEnglishFormat.kif 19531-19531	Web site is a subclass of digital data

appearance as argument number 3

(domain dataProcessed 2 DigitalData)	QoSontology.kif 2009-2009	The number 2 argument of data processed is an instance of digital data
(domain filename 2 DigitalData)	QoSontology.kif 2339-2339	The number 2 argument of filename is an instance of digital data

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 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
(=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST ?NUM) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber)))))	Media.kif 801-812	If an object is an instance of digital data storage device and a symbolic string is a part of the object and the symbolic string is an instance of digital data, then there exist a code map, a list and an entity such that the symbolic string in the code map denotes the entity and the list expresses the code map and if the entity is a member of the list, then the entity is an instance of binary number
(=> (instance ?DATA DigitalData) (exists (?DEVICE) (and (instance ?DEVICE DigitalDataStorageDevice) (located ?DATA ?DEVICE))))	QoSontology.kif 1986-1991	If a physical is an instance of digital data, then there exists an object such that the object is an instance of digital data storage device and the physical is located at the object

consequent

(=> (and (property ?X Booting) (instance ?X Computer)) (exists (?CD ?OS ?DT) (and (instance ?CD DigitalData) (instance ?OS OperatingSystem) (instance ?DT DataTransfer) (during (WhenFn ?DT) (WhenFn ?X)) (destination ?DT ?X) (part ?CD ?OS) (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3213-3225	If a physical the attribute booting up and the physical is an instance of computer, then there exist an object, another object and a transfer such that the object is an instance of digital data and the other object is an instance of operating system and the transfer is an instance of data transfer and the time of existence of the transfer takes place during the time of existence of the physical and the transfer ends up at the physical and the object is a part of the other object and the object transferred in the transfer is the object
(=> (instance ?ACT DownloadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (agent ?ACT ?COM) (destination ?ACT ?COM) (instance ?COM ComputerSystem) (instance ?DATA DigitalData))))	ComputerInput.kif 2684-2692	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
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	If a process is an instance of uploading, then there exist an entity and an object such that the entity is a patient of the process and the object is an instance of computer and the process originates at the object and the entity is an instance of digital data
(=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram)))))	ComputingBrands.kif 3163-3170	If a physical is an instance of computer desktop image, 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
(=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD))))	ComputingBrands.kif 4314-4321	If a process is an instance of data entry, then there exist another process and an agent such that the other process is an instance of digital data and the 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
(=> (instance ?HL HypertextLink) (refers ?HL DigitalData))	UXExperimentalTerms.kif 3312-3314	If an entity is an instance of hyperlink, then the entity includes a reference to digital data
(=> (instance ?P ThreeDPrinting) (exists (?X ?A) (and (instance ?X DigitalData) (represents ?X ?A) (instance ?A Artifact) (result ?P ?A))))	QoSontology.kif 505-512	If a process is an instance of 3D printing, then there exist an entity and another entity such that the entity is an instance of digital data and the entity expresses the other entity and the other entity is an instance of artifact and the other entity is a result of the process
(=> (instance ?TF TwoFactorLoggingIn) (exists (?DE ?DD) (and (subProcess ?DE ?TF) (instance ?DE DataEntry) (instance ?DD DigitalData) (objectTransferred ?DE ?DD) (not (instance ?DD ComputerPassword)) (not (instance ?DD UserName)))))	ComputingBrands.kif 4294-4305	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
(=> (instance ?Transfer DataTransfer) (exists (?Origin ?Destination ?System ?Data) (and (origin ?Transfer ?Origin) (destination ?Transfer ?Destination) (instrument ?Transfer ?System) (patient ?Transfer ?Data) (instance ?Data DigitalData) (instance ?System HardwareSystem) (instance ?Origin HardwareSystem) (instance ?Destination ComputationalSystem))))	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
(=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource))))	QoSontology.kif 1812-1817	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
(=> (instance ?X DeletingData) (and (exists (?DATA) (and (instance ?DATA DigitalData) (patient ?X ?DATA))) (not (exists (?PROC ?CLASS) (and (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (not (instance ?PROC RestoringData)) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	If a process is an instance of deleting data, 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 don't exist another entity and a class such that the other entity is an instance of computer process and the other entity is an instance of the class and the other entity is not an instance of restore and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=> (instance ?X RestoringData) (exists (?DEL ?PROC ?DATA ?CLASS) (and (instance ?DEL DeletingData) (instance ?DATA DigitalData) (patient ?X ?DATA) (patient ?DEL ?DATA) (earlier (WhenFn ?DEL) (WhenFn ?X)) (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA)))))	QoSontology.kif 136-152	If a process is an instance of restore, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of deleting data 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 entity is an instance of the class and the other entity is capable of doing the class 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