Messaging - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Messaging

Messaging(訊息)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7615-7616
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7614-7614	子類訊息 and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4168-4168	子類 NetworkMessaging and 訊息
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37243-37243	子類 NetworkMessaging and 訊息
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37242-37242	子類 NetworkMessaging and 訊息
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37241-37241	子類 NetworkMessaging and 訊息

antecedent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7618-7623	例 Process and 訊息 Entity 例 Entity and 信息患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 316-334	例 Process and Telemetry Object AutonomousAgent, Object, Physical, Process and Process 例 Process and Measuring 例 AutonomousAgent and 測量工具例 Object and Region 例 Object and Region 例 Process and 訊息子過程 Process and Process 子過程 Process and Process 例 Physical and ElectronicDataStorageDevice agent Process and AutonomousAgent 位於 AutonomousAgent and Object 位於 Physical and Object Process 是 located 在 Object 等於 Object and Object 起源 Process and AutonomousAgent 目的地 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Communications.kif 185-200	例 Physical and Telex 有目的 Physical and entity Physical and entity 例 entity and 電話系統例 Physical and Telex 例 entity and 訊息起源 entity and Physical 目的地 entity and Physical 起源 entity and Physical 目的地 entity and Physical 路徑 entity 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