Anaphylaxis - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Anaphylaxis

Anaphylaxis(anaphylaxis)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1538-1543
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1536-1536	Anaphylaxis is a subclass of allergic reaction

appearance as argument number 2

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

Medicine.kif 1557-1557

antecedent

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

Medicine.kif 1545-1555

If a process is an instance of anaphylaxis and an agent experiences the process,
then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility

consequent

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

Medicine.kif 6378-6390

If a physical is an instance of adrenaline autoinjector,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of injecting and the physical is an instrument for the entity and the entity ends up at the other entity and the other entity experiences the third entity and the third entity is an instance of anaphylaxis and the time of existence of the entity takes place during the time of existence of the third entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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