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(mood stabilizer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9762-9771
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31625-31625	roomTempState mood stabilizer and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9760-9760	Mood stabilizer is a subclass of biologically active substance

appearance as argument number 2

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

Mid-level-ontology.kif 9772-9772

antecedent

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

Mid-level-ontology.kif 9774-9795

If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer,
then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely

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