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(數字數據)

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	子類數字數據 and SymbolicString

appearance as argument number 2

(subclass ComputerFile DigitalData)	QoSontology.kif 171-171	子類電腦文件 and 數字數據
(subclass ComputerPath DigitalData)	QoSontology.kif 1078-1078	子類計算機路徑 and 數字數據
(subclass ComputerReport DigitalData)	QoSontology.kif 2105-2105	子類電腦報導 and 數字數據
(subclass Database DigitalData)	QoSontology.kif 1869-1869	子類數據庫 and 數字數據
(subclass DigitalComment DigitalData)	ComputerInput.kif 2859-2859	子類 DigitalComment and 數字數據
(subclass DigitalPost DigitalData)	ComputerInput.kif 2825-2825	子類 DigitalPost and 數字數據
(subclass HypertextLink DigitalData)	UXExperimentalTerms.kif 3304-3304	子類 HypertextLink and 數字數據
(subclass ImageFile DigitalData)	QoSontology.kif 1862-1862	子類圖像文件 and 數字數據
(subclass Packet DigitalData)	QoSontology.kif 262-262	子類包 and 數字數據
(subclass WebPage DigitalData)	Media.kif 1482-1482	子類 WebPage and 數字數據
(subclass WebSite DigitalData)	Media.kif 1494-1494	子類 WebSite and 數字數據
(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	域數據已處理, 2 and 數字數據
(domain filename 2 DigitalData)	QoSontology.kif 2207-2207	域 filename, 2 and 數字數據

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	例電腦程序 and ComputerBackingUp 數字數據是由電腦程序 processed 例數字數據 and 數字數據 agent 電腦程序 and CognitiveAgent 慾望 CognitiveAgent and entity 早期何時電腦程序 and entity 持有期間 entity and entity 例 entity and 電腦程序能力 entity, 數據已處理 and 數字數據
(=> (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	例 Object and DigitalDataStorageDevice 部分 SymbolicString and Object 例 SymbolicString and 數字數據 CodeMap List and Entity SymbolicString 在 CodeMap denotes Entity 代表 List and CodeMap 在列表中 Entity and List 例 Entity and BinaryNumber
(=> (instance ?DATA DigitalData) (exists (?DEVICE) (and (instance ?DEVICE DigitalDataStorageDevice) (located ?DATA ?DEVICE))))	QoSontology.kif 1855-1860	例 Physical and 數字數據 Object 例 Object and DigitalDataStorageDevice 位於 Physical and 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 3217-3229	屬性 Physical and 啟動中例 Physical and 電腦 Object Object and Transfer 例 Object and 數字數據例 Object and 操作系統例 Transfer and 數據傳輸期間何時 Transfer and 何時 Physical 目的地 Transfer and Physical 部分 Object and Object 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	例 Process and 下載 Entity AutonomousAgent 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and ComputerSystem 例 Entity and 數字數據
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	例 Process and 上傳 Entity Object 患者 Process and Entity 例 Object and 電腦起源 Process and Object 例 Entity and 數字數據
(=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	例 Physical and ComputerDesktopImage 有目的 Physical and 參照 Physical and entity 例 entity and 數字數據例 entity and ComputerProgram
(=> (instance ?DE DataEntry) (exists (?DD ?A) (and (instance ?DD DigitalData) (agent ?DD ?A) (attribute ?A ComputerUser) (result ?DE ?DD))))	ComputingBrands.kif 4319-4326	例 Process and DataEntry Process AutonomousAgent 例 Process and 數字數據 agent Process and AutonomousAgent attribute AutonomousAgent and 電腦用戶結果 Process and Process
(=> (instance ?HL HypertextLink) (refers ?HL DigitalData))	UXExperimentalTerms.kif 3312-3314	例 Entity and HypertextLink 參照 Entity and 數字數據
(=> (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	例 Process and TwoFactorLoggingIn Transfer Object 子過程 Transfer and Process 例 Transfer and DataEntry 例 Object and 數字數據 objectTransferred Transfer and Object 例 Object and 電腦密碼例 Object and 用戶名
(=> (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	例 Process and 數據傳輸 Object Entity, Object and Entity 起源 Process and Object 目的地 Process and Entity 儀器 Process and Object 患者 Process and Entity 例 Entity and 數字數據例 Object and 硬件系統例 Object and 硬件系統例 Entity and 計算系統
(=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource))))	QoSontology.kif 1681-1686	例 Entity and 統一資源標識符 Entity 例 Entity and 數字數據參照 Entity and 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	例 Process and DeletingData Entity 例 Entity and 數字數據患者 Process and Entity Entity Class 例 Entity and 電腦程序例 Entity and Class 例 Entity and RestoringData 持有期間眼前的未來何時 Process and 能力 Class, 患者 and Entity
(=> (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	例 Process and RestoringData Process Entity, Entity and Class 例 Process and DeletingData 例 Entity and 數字數據患者 Process and Entity 患者 Process and Entity 早期何時 Process and 何時 Process 例 Entity and 電腦程序例 Entity and Class 持有期間眼前的未來何時 Process and 能力 Class, 患者 and Entity

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