LinguisticCommunication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13221-13221	子類 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 19703-19703	子類辯論 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13241-13241	子類 Declaring and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13177-13177	子類 Directing and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29655-29655	子類 Elaborating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13134-13134	子類用語言表達 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19710-19710	子類談判 and 語言交流
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29669-29669	子類 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 13138-13138	子類 Stating and 語言交流
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13172-13172	子類假如 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 13130-13136	例 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 29659-29667	例 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 29710-29722	例 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 29676-29684	例 TimeInterval and Restating TimeInterval TimeIntervalP and TimeIntervalP 例 TimeInterval and 語言交流早期 TimeInterval and TimeInterval 包含信息 TimeInterval and TimeIntervalP 包含信息 TimeInterval and TimeIntervalP 等效內容實例 TimeIntervalP and TimeIntervalP

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