EpiPen - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EpiPen

EpiPen(adrenaline autoinjector)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6352-6355
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6351-6351	Adrenaline autoinjector is a subclass of TherapeuticDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6356-6356
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6358-6358
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6357-6357

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6361-6368	If an object is an instance of adrenaline autoinjector, then there exist another object and a third object such that the other object is an instance of needle and the other object is a part of the object and the third object is an instance of epinephrine and the third object is a part of the object
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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6370-6376	If a physical is an instance of adrenaline autoinjector, then the physical has the purpose there exists an entity such that the entity is an instance of injecting and the physical is an instrument for the 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