TreeView Knowledge Base Browser - Speaking

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Speaking

Speaking(說話)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3004-3005
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 824-825
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1767-1768
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.	Mid-level-ontology.kif 827-827	子類說話 and 發聲

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 86-86	子類 EmotionalSpeakingBehavior and 說話
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15872-15872	子類演講 and 說話
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15917-15917	子類背誦 and 說話
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54474-54474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54473-54473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54472-54472

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	attribute AutonomousAgent and Multilingual 例 Process and 說話 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 口語人類語言例 entity and 口語人類語言等於 entity and entity 患者 Process and entity 患者 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	持有期間 TimeInterval and attribute AutonomousAgent and AVPUVerbalStatus 例 Process and 說話目的地 Process and AutonomousAgent 期間何時 Process and TimeInterval Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	例 Process and 說話例 Object and Jaw agent Process and AutonomousAgent 部分 Object and AutonomousAgent 模態屬性 entity 例 entity and BodyMotion objectTransferred entity and Object 期間何時 entity and 何時 Process and 容易

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30271-30279	持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話期間何時 Process and TimeInterval agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	例 Process and Commenting 例 Entity and Process 患者 Process and Entity AutonomousAgent Process and Process 例 AutonomousAgent and AutonomousAgent 例 Process and 說話例 Process and 看著 agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 727-734	attribute Object and HipHopMusic 模態屬性 entity entity Object 是個 entity 的 record 例 entity and 說話子過程 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2973-2981	例 Process and 致電 Process AutonomousAgent 例 Process and 說話子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent

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