TreeView Knowledge Base Browser - Pain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Pain

Sigma KEE - Pain

Pain(痛)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19330-19331
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3168-3168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3167-3167
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2980-2980
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6407-6407	pathologyTreatment 痛, Analgesic and Ingesting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19329-19329	子類痛 and PathologicProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 763-763	相反的屬性 Pleasure and 痛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	範圍子類 PainFn and 痛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43998-43998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43997-43997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43996-43996

antecedent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 6470-6482

持有期間 TimeInterval and attribute AutonomousAgent and AVPUPainStatus 例 Process and 痛期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent
Process 例 Process and BodyMotion 體驗者 Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	例 Process and Anesthetizing 患者 Process and Entity 持有期間何時 Process and attribute Entity and Unconscious attribute Entity and 痛
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 949-958	例 Process and Anesthetizing 患者 Process and Entity 持有期間何時 Process and attribute Entity and Unconscious attribute Entity and 痛
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	例 Process and ExperiencingDiscomfortInTheStomach 體驗者 Process and AutonomousAgent Process ProcessAIN and Object 例 Process and Perception 期間何時 Process and 何時 ProcessAIN 例 ProcessAIN and 痛體驗者 ProcessAIN and AutonomousAgent 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 胃部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5779-5798	例 Process and 緩解疼痛患者 Process and Object Physical 暫時重疊何時 Physical and 不久的過去何時 Process 例 Physical and 痛位於 Physical and Object Physical 暫時重疊何時 Physical and 眼前的未來何時 Process 例 Physical and 痛位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4533-4541	持有期間 TimeInterval and attribute AutonomousAgent and Fibromyalgia Process 例 Process and 痛體驗者 Process and AutonomousAgent 期間 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9587-9598	例 Entity and PlantSpinoseStructure 模態屬性 entity entity and entity 例 entity and 插入儀器 entity and Entity 例 entity and Animal 患者 entity and entity 原因 entity and entity 例 entity and 痛體驗者 entity and entity and 可能性

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