TreeView Knowledge Base Browser - suffers

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - suffers

suffers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29633-29634
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29631-29631	域 suffers, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29632-29632	域 suffers, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29629-29629	例 suffers and BinaryRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29628-29628	例 suffers and CaseRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29630-29630	例 suffers and PartialValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4718-4718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4717-4717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4716-4716
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65950-65950

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29646-29655	等於 TimePoint and 開始何時 Process 等於 TimePoint and 結束何時 AutonomousAgent AutonomousAgent suffers 從 Process 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29636-29639	AutonomousAgent suffers 從 Process 好處 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29661-29664	CognitiveAgent suffers 從 Process 想要 CognitiveAgent and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 entity 原因 Process and entity CognitiveAgent suffers 從 entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	採用 AutonomousAgent and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW agent Process and CognitiveAgent 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 CognitiveAgentROC 原因 Process and CognitiveAgentROC CognitiveAgent suffers 從 CognitiveAgentROC and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29671-29683	例 Process and Apologizing agent Process and ProcessG 目的地 Process and AutonomousAgent ProcessCT AutonomousAgent suffers 從 ProcessCT agent ProcessCT and ProcessG 持有期間何時 Process and 想要 ProcessG and ProcessCT
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29641-29644	好處 Process and AutonomousAgent AutonomousAgent suffers 從 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18338-18347	例 Transfer and Defrauding AutonomousAgent AutonomousAgent and Object agent Transfer and AutonomousAgent AutonomousAgent suffers 從 Transfer 好處 Transfer and AutonomousAgent objectTransferred Transfer and Object 起源 Object and AutonomousAgent 目的地 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5898	例 Entity and Parasite 模態屬性 entity EntityROC 位於 Entity and entity Entity 是事件 EntityROC 的 involved entity 是事件 EntityROC 的 involved 好處 EntityROC and Entity entity suffers 從 EntityROC and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3061-3068	會員 CognitiveAgent and AntiVaxxer 相信 CognitiveAgent and 例 entity and Vaccination 體驗者 entity and entity entity suffers 從 entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 140-145	punishes AutonomousAgent and AutonomousAgent Process agent Process and AutonomousAgent AutonomousAgent suffers 從 Process
No TPTP formula. May not be expressible in strict first order.	Law.kif 266-268	victim 犯罪行為 and AutonomousAgent AutonomousAgent suffers 從犯罪行為

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