TreeView Knowledge Base Browser - MoodStabilizer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MoodStabilizer

MoodStabilizer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9789-9798
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31657-31657	roomTempState MoodStabilizer and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9787-9787	子類 MoodStabilizer and BiologicallyActiveSubstance

appearance as argument number 2

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

Mid-level-ontology.kif 9799-9799

antecedent

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

Mid-level-ontology.kif 9801-9822

例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期何時 Process2 and 何時 Transfer
模態屬性持有期間 Process2 and attribute AutonomousAgent and ProcessS 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