Computer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Computer

Computer(電腦)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	子類電腦 and 電器

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 101-101	子類 AppleComputer and 電腦
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2512-2512	子類 EngineControlModule and 電腦
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3177-3177	子類 IgnitionControlModule and 電腦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29530-29530	子類 PortableComputer and 電腦
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16248-16248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16247-16247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16246-16246

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 203-203	域電腦運行, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3534-3534	域 connectedPeripheral, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	域 deviceAccount, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1023	域硬件類型, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2129-2129	域主機抖動, 1 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 550-550	域的主持, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	域主持人身份, 1 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 762-762	域的IP地址, 1 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1015-1015	域 CPU的數量, 1 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 188-188	域繼續前進, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 339-339	域能够操作, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1034-1034	域的門檻, 1 and 電腦
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4286-4286	域 trustedDevice, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 352-352	域子類可以操作, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	域子類 deviceOS, 2 and 電腦

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	例 Process and 粉碎例 Entity and 電腦例 Entity and Object 患者 Process and Entity manufacturer Object and CognitiveAgent 慾望 CognitiveAgent and entity agent Process and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	例 Transfer and 軟體更新患者 Transfer and Entity 例 Entity and 電腦 Object objectTransferred Transfer and Object 例 Object and ComputerProgram 持有期間開始何時 Transfer and softwareVersion Object and PreviousVersion 持有期間結束何時 Transfer and softwareVersion Object and CurrentVersion
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.	ComputingBrands.kif 1820-1827	持有期間 TimePosition and 例 entity and 電腦 attribute entity and 獨立模式持有期間 TimePosition and 能力通信透過 WirelessNetwork, 起源 and entity

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦零件 CorpuscularObject and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1723-1728	attribute AutonomousAgent and 電腦用戶 Object 例 Object and 電腦使用 Object and AutonomousAgent
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 3324-3337	例 Collection and ComputerSystem EngineeringComponent EngineeringComponent and EngineeringComponent 例 EngineeringComponent and 電腦例 EngineeringComponent and 電腦例 EngineeringComponent and 計算機網絡會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection 等於 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4065-4072	例電腦程序 and DHCPServer ComputerProgram 電腦例電腦 and 電腦例 ComputerProgram and DHCPProgram 電腦程序是 running 在電腦 ComputerProgram 是電腦程序的執行 program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	例 Process and MountingADevice Entity Entity 例 Entity and 電腦例 Entity and ComputerIODevice 患者 Process and Entity 患者 Process and Entity 持有期間何時 Process and 連接的工程組件 Entity and Entity 持有期間眼前的未來何時 Process and connectedPeripheral Entity and Entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1311-1318	例 Process and IT流程 AutonomousAgent Entity agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and IT代理商例 Entity and 電腦
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	例電腦程序 and 電腦程序電腦 ComputerProgram 例電腦 and 電腦電腦程序是 running 在電腦例 ComputerProgram and ComputerProgram ComputerProgram 是電腦程序的執行 program
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	例 Entity and BusinessCenter 模態屬性 entity 例 entity and 電腦位於 entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	loggedInDuring AutonomousAgent, 用戶帳號 and TimeInterval 模態屬性持有期間 TimeInterval and entity entity 例 entity and 電腦程序 agent entity and AutonomousAgent deviceAccount 用戶帳號 and entity 例 entity and 電腦 entity 是 running 在 entity 儀器 entity and entity and 可能性

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