TreeView Knowledge Base Browser - PainFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PainFn

PainFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6348-6349
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6350-6350	域 PainFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6347-6347	例 PainFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	範圍子類 PainFn and 痛

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6353-6353
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6352-6352

antecedent

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

Mid-level-ontology.kif 6357-6364

體驗者 Process and AutonomousAgent 例 AutonomousAgent and PainFn BodyPart
BodyPartART 部分 BodyPartART and Process 位於 BodyPartART and BodyPart

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	例 Process and LocalAnesthetizing 位於 Process and Object 例 Object and BodyPart 部分 Object and Object 患者 Process and Object 持有期間何時 Process and attribute Object and PainFn Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	例 Transfer and 注射例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來何時 Transfer and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	例 Physical and Ivabradine 有目的 Physical and entity PhysicalN and entity 例 entity and Human 例 entity and PainFn Chest 體驗者 entity and entity 例 PhysicalN and Ingesting agent PhysicalN and entity 早期何時 entity and 何時 PhysicalN entity 例 entity and PainFn Chest 體驗者 entity and entity 早期何時 PhysicalN and 何時 entity

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3714-3714	pathologicSideEffect Cetirizine and PainFn Abdomen
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4286-4286	PainFn Abdomen 是服用 Cetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2218-2218	子類 Arthritis and PainFn 身體關節
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2016-2016	子類 ChestPain and PainFn Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19333-19333	子類頭痛 and PainFn 頭
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2011-2011	子類 JointPain and PainFn 身體關節

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