TreeView Knowledge Base Browser - Server

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputationalSystem

Sigma KEE - Server

Server(服務器)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1836-1838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 722-722
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1835-1835	子類服務器 and 計算系統

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52217-52217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52216-52216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52215-52215

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 3759-3784

例 AccessingWebPage and AccessingWebPage 例 Entity and WebPage 例 Process and 數據傳輸例 Object and 服務器例 Process and Requesting 例 AutonomousAgent and WebBrowser 例 TimeInterval and TimeInterval 患者 AccessingWebPage and Entity agent Process and AutonomousAgent 目的地 Process and Object 患者 Process and Entity 起源 Process and Object 目的地 Process and AutonomousAgent 患者 Process and Entity 子過程 Process and AccessingWebPage 子過程 Process and AccessingWebPage 等於結束何時 Process and 開始 TimeInterval 等於結束何時 Process and 結束 TimeInterval
等於 access 的時間在 AccessingWebPage and TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 1825-1829

例 Entity and 網絡資源
例 Entity and 服務器例 Entity and 打印機

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