ComputerNetwork - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerNetwork

ComputerNetwork(計算機網絡)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 31-34
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 30-30	子類計算機網絡 and 計算系統
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1330-1330	子類計算機網絡 and 實時系統

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1872-1872	子類隔空打印 and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 36-36	子類 LAN and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1408-1408	子類 WirelessNetwork and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16326-16326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16325-16325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16324-16324

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1053-1053	域帶寬, 1 and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1004-1004	域預設網絡, 2 and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	域子類網路通信功能, 1 and 計算機網絡

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 326-334	例 CorpuscularObject and 硬件系統零件 CorpuscularObject and CorpuscularObject 例 Process and 數據傳輸起源 Process and CorpuscularObject 例 CorpuscularObject and 計算機網絡儀器 Process and CorpuscularObject
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.	QoSontology.kif 831-836	例 Object and 網絡適配器 Object 例 Object and 計算機網絡連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4173-4178	例 Process and NetworkMessaging Object 例 Object and 計算機網絡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 312-321	例 CorpuscularObject and 硬件系統 CorpuscularObject CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 中央處理器零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 電腦記憶零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 計算機網絡零件 CorpuscularObject and CorpuscularObject

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