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 13173-13174
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13172-13172	子類語言交流 and Communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13267-13267	子類 Committing and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 822-822	子類相應 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19730-19730	子類辯論 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13287-13287	子類 Declaring and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13223-13223	子類 Directing and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29706-29706	子類 Elaborating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13161-13161	子類用語言表達 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19737-19737	子類談判 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29720-29720	子類 Restating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 819-819	子類說話 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13184-13184	子類 Stating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13218-13218	子類假如 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 911-911	子類說謊 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 773-773	子類書面溝通 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 13176-13182	例 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 29710-29718	例 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 29761-29773	例 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 29727-29735	例 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