TreeView Knowledge Base Browser - LinguisticCommunication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LinguisticCommunication

Sigma KEE - LinguisticCommunication

LinguisticCommunication(語言交流)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3256-3257
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13149-13150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13148-13148	子類語言交流 and Communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13243-13243	子類 Committing and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 829-829	子類相應 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19702-19702	子類辯論 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13263-13263	子類 Declaring and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13199-13199	子類 Directing and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29643-29643	子類 Elaborating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13133-13133	子類用語言表達 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19709-19709	子類談判 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29657-29657	子類 Restating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 826-826	子類說話 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13160-13160	子類 Stating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13194-13194	子類假如 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 918-918	子類說謊 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 780-780	子類書面溝通 and 語言交流
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34547-34547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34546-34546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34545-34545

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	attribute AutonomousAgent and 配音演員例 Process and 戲劇表演 agent Process and AutonomousAgent 例 Process and 語言交流 agent Process and AutonomousAgent 子過程 Process and Process Process AutonomousAgent 例 Process and Seeing 患者 Process and AutonomousAgent agent Process and AutonomousAgent Process AutonomousAgent 例 Process and Hearing 患者 Process and AutonomousAgent agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1836-1842	例 Process and 語言交流 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Sentence 持有期間何時 Process and AutonomousAgent states Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13152-13158	例 Process and 語言交流 Entity 代表 Process and Entity 例 Entity and LinguisticExpression 患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1844-1851	持有期間 TimePosition and AutonomousAgent states Entity Process 例 Process and 語言交流 agent Process and AutonomousAgent 患者 Process and Entity 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29647-29655	例 TimeInterval and Elaborating TimeInterval TimeIntervalP and TimeIntervalP 例 TimeInterval and 語言交流早期 TimeInterval and TimeInterval 包含信息 TimeInterval and TimeIntervalP 包含信息 TimeInterval and TimeIntervalP 包含內容實例 TimeIntervalP and TimeIntervalP
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29698-29710	例 Process and Prompting Entity CognitiveAgent 目的地 Process and Entity agent Process and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and 語言交流 agent entity and Entity 早期 Process and entity 包含內容實例 entity and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29664-29672	例 TimeInterval and Restating TimeInterval TimeIntervalP and TimeIntervalP 例 TimeInterval and 語言交流早期 TimeInterval and TimeInterval 包含信息 TimeInterval and TimeIntervalP 包含信息 TimeInterval and TimeIntervalP 等效內容實例 TimeIntervalP and TimeIntervalP

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