TreeView Knowledge Base Browser - DigitalData

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DigitalData

DigitalData

more pictures...

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 1852-1853
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG")	pictureList.kif 8451-8451
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg")	pictureList.kif 9144-9144
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg")	pictureList.kif 9145-9145
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg")	pictureList.kif 9146-9146
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg")	pictureList.kif 9147-9147
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg")	pictureList.kif 9148-9148
(subclass DigitalData SymbolicString)	QoSontology.kif 1851-1851	DigitalData ist eine teilkategorie von SymbolicString

appearance as argument number 2

(subclass ComputerFile DigitalData)	QoSontology.kif 171-171	ComputerFile ist eine teilkategorie von DigitalData
(subclass ComputerPath DigitalData)	QoSontology.kif 1078-1078	ComputerPath ist eine teilkategorie von DigitalData
(subclass ComputerReport DigitalData)	QoSontology.kif 2105-2105	ComputerReport ist eine teilkategorie von DigitalData
(subclass Database DigitalData)	QoSontology.kif 1869-1869	Database ist eine teilkategorie von DigitalData
(subclass DigitalComment DigitalData)	ComputerInput.kif 2859-2859	DigitalComment ist eine teilkategorie von DigitalData
(subclass DigitalPost DigitalData)	ComputerInput.kif 2825-2825	DigitalPost ist eine teilkategorie von DigitalData
(subclass HypertextLink DigitalData)	UXExperimentalTerms.kif 3304-3304	HypertextLink ist eine teilkategorie von DigitalData
(subclass ImageFile DigitalData)	QoSontology.kif 1862-1862	ImageFile ist eine teilkategorie von DigitalData
(subclass Packet DigitalData)	QoSontology.kif 262-262	Packet ist eine teilkategorie von DigitalData
(subclass WebPage DigitalData)	Media.kif 1482-1482	WebPage ist eine teilkategorie von DigitalData
(subclass WebSite DigitalData)	Media.kif 1494-1494	WebSite ist eine teilkategorie von DigitalData
(termFormat ChineseLanguage DigitalData "数字数据")	domainEnglishFormat.kif 19518-19518
(termFormat ChineseTraditionalLanguage DigitalData "數字數據")	domainEnglishFormat.kif 19517-19517
(termFormat EnglishLanguage DigitalData "digital data")	domainEnglishFormat.kif 19516-19516

appearance as argument number 3

(domain dataProcessed 2 DigitalData)	QoSontology.kif 1878-1878	Die Zahl 2 Argument von dataProcessed ist ein fall von DigitalData %n{nicht}
(domain filename 2 DigitalData)	QoSontology.kif 2207-2207	Die Zahl 2 Argument von filename ist ein fall von DigitalData %n{nicht}

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	Wenn ComputerProcess ist ein fall von ComputerBackingUp %n{nicht} und dataProcessed ComputerProcess and DigitalData und DigitalData ist ein fall von DigitalData %n{nicht} und ComputerProcess ist der agent von CognitiveAgent %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um die zeit des Bestehens von ComputerProcess geschieht frueh als entity %n{nicht} und es gibt entity um entity ist ein fall von ComputerProcess %n{nicht} und DigitalData ist faehig %n{nicht}, in der Rolle dataProcessed entity zu tun haelt waehrend ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Object ist ein fall von DigitalDataStorageDevice %n{nicht} und SymbolicString ist ein teil von Object %n{nicht} und SymbolicString ist ein fall von DigitalData %n{nicht}, dann es gibt CodeMap, List, and und Entity um codeMapping CodeMap, SymbolicString and Entity und List drueckt CodeMap aus und wenn Entity ist ein Mitglied von List, dann Entity ist ein fall von BinaryNumber %n{nicht}
(=> (instance ?DATA DigitalData) (exists (?DEVICE) (and (instance ?DEVICE DigitalDataStorageDevice) (located ?DATA ?DEVICE))))	QoSontology.kif 1855-1860	Wenn Physical ist ein fall von DigitalData %n{nicht}, dann es gibt Object um Object ist ein fall von DigitalDataStorageDevice %n{nicht} und Physical befindet sich an %n{nicht}

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 3217-3229	Wenn Physical hat ein attribut Booting %n{nicht} und Physical ist ein fall von Computer %n{nicht}, dann es gibt Object, Object, and und Transfer um Object ist ein fall von DigitalData %n{nicht} und Object ist ein fall von OperatingSystem %n{nicht} und Transfer ist ein fall von DataTransfer %n{nicht} und die zeit des Bestehens von Transfer geschieht waehrend die zeit des Bestehens von Physical %n{nicht} und Transfer endet an Physical %n{nicht} und Object ist ein teil von Object %n{nicht} und objectTransferred Transfer and ** 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	Wenn Process ist ein fall von DownloadingOverNetwork %n{nicht}, dann es gibt Entity und AutonomousAgent um Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von ComputerSystem %n{nicht} und Entity ist ein fall von DigitalData %n{nicht}
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	Wenn Process ist ein fall von UploadingOverNetwork %n{nicht}, dann es gibt Entity und Object um Entity ist ein patient von Process %n{nicht} und Object ist ein fall von Computer %n{nicht} und Process beginnet an Object %n{nicht} und Entity ist ein fall von DigitalData %n{nicht}
(=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	Wenn Physical ist ein fall von ComputerDesktopImage %n{nicht}, dann Physical hat Zweck von Physical umfasst einen hinweis auf entity und entity ist ein fall von DigitalData %n{nicht} oder entity ist ein fall von ComputerProgram %n{nicht} %n{nicht}
(=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD))))	ComputingBrands.kif 4319-4326	Wenn Process ist ein fall von DataEntry %n{nicht}, dann es gibt Process und AutonomousAgent um Process ist ein fall von DigitalData %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und ComputerUser ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein resultat von Process %n{nicht}
(=> (instance ?HL HypertextLink) (refers ?HL DigitalData))	UXExperimentalTerms.kif 3312-3314	Wenn Entity ist ein fall von HypertextLink %n{nicht}, dann ** Entity umfasst einen hinweis auf DigitalData
(=> (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 4299-4310	Wenn Process ist ein fall von TwoFactorLoggingIn %n{nicht}, dann es gibt Transfer und Object um Transfer ist ein subProzess von Process und Transfer ist ein fall von DataEntry %n{nicht} und Object ist ein fall von DigitalData %n{nicht} und objectTransferred Transfer and Object und Object ist ein fall von ComputerPassword nicht und Object ist ein fall von UserName nicht
(=> (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	Wenn Process ist ein fall von DataTransfer %n{nicht}, dann es gibt Object, Entity,, , Object, and und Entity um Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von DigitalData %n{nicht} und Object ist ein fall von HardwareSystem %n{nicht} und Object ist ein fall von HardwareSystem %n{nicht} und Entity ist ein fall von ComputationalSystem %n{nicht}
(=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource))))	QoSontology.kif 1681-1686	Wenn Entity ist ein fall von UniformResourceIdentifier %n{nicht}, dann es gibt Entity um Entity ist ein fall von DigitalData %n{nicht} und Entity umfasst einen hinweis auf 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	Wenn Process ist ein fall von DeletingData %n{nicht}, dann es gibt Entity um Entity ist ein fall von DigitalData %n{nicht} und Entity ist ein patient von Process %n{nicht} und es gibt nicht Entity und Class um Entity ist ein fall von ComputerProcess %n{nicht} und Entity ist ein fall von Class %n{nicht} und Entity ist ein fall von RestoringData nicht und Entity ist faehig %n{nicht}, in der Rolle patient Class zu tun haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}
(=> (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 135-151	Wenn Process ist ein fall von RestoringData %n{nicht}, dann es gibt Process, Entity,, , Entity, and und Class um Process ist ein fall von DeletingData %n{nicht} und Entity ist ein fall von DigitalData %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht} und Entity ist ein fall von ComputerProcess %n{nicht} und Entity ist ein fall von Class %n{nicht} und Entity ist faehig %n{nicht}, in der Rolle patient Class zu tun haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}

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