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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1958-1959
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8450-8450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9143-9143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9144-9144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9145-9145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9146-9146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9147-9147
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1957-1957	子類數字數據 and SymbolicString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 171-171	子類電腦文件 and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1184-1184	子類計算機路徑 and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2211-2211	子類電腦報導 and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1975-1975	子類數據庫 and 數字數據
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2859-2859	子類 DigitalComment and 數字數據
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2825-2825	子類 DigitalPost and 數字數據
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3304-3304	子類 HypertextLink and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1968-1968	子類圖像文件 and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 262-262	子類包 and 數字數據
No TPTP formula. May not be expressible in strict first order.	Media.kif 1482-1482	子類 WebPage and 數字數據
No TPTP formula. May not be expressible in strict first order.	Media.kif 1494-1494	子類 WebSite and 數字數據
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19533-19533	子類 WebSite and 數字數據
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19532-19532	子類 WebSite and 數字數據
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19531-19531	子類 WebSite and 數字數據

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1984-1984	域數據已處理, 2 and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2313-2313	域 filename, 2 and 數字數據

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	例電腦程序 and ComputerBackingUp 數字數據是由電腦程序 processed 例數字數據 and 數字數據 agent 電腦程序 and CognitiveAgent 慾望 CognitiveAgent and entity 早期何時電腦程序 and entity 持有期間 entity and entity 例 entity and 電腦程序能力 entity, 數據已處理 and 數字數據
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1961-1966	例 Physical and 數字數據 Object 例 Object and DigitalDataStorageDevice 位於 Physical and Object

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2684-2692	例 Process and 下載 Entity AutonomousAgent 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and ComputerSystem 例 Entity and 數字數據
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	例 Process and 上傳 Entity Object 患者 Process and Entity 例 Object and 電腦起源 Process and Object 例 Entity and 數字數據
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3167-3174	例 Physical and ComputerDesktopImage 有目的 Physical and 參照 Physical and entity 例 entity and 數字數據例 entity and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4319-4326	例 Process and DataEntry Process AutonomousAgent 例 Process and 數字數據 agent Process and AutonomousAgent attribute AutonomousAgent and 電腦用戶結果 Process and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	例 Entity and HypertextLink 參照 Entity and 數字數據
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 504-511	例 Process and ThreeDPrinting Entity Entity 例 Entity and 數字數據代表 Entity and Entity 例 Entity and Artifact 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	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 用戶名
No TPTP formula. May not be expressible in strict first order.	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 計算系統
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1787-1792	例 Entity and 統一資源標識符 Entity 例 Entity and 數字數據參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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