TreeView Knowledge Base Browser - EpiPen

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

(documentation EpiPen EnglishLanguage "An epinephrine autoinjector (or Adrenaline autoinjector, also known by the trademark EpiPen) is a MedicalDevice for Injecting a measured dose or doses of epinephrine (adrenaline) by means of autoinjector technology. It is most often used for the treatment of Anaphylaxis. [from Wikipedia]")	Medicine.kif 6371-6374
(subclass EpiPen TherapeuticDevice)	Medicine.kif 6370-6370	Adrenaline autoinjector is a subclass of TherapeuticDevice

appearance as argument number 2

(termFormat EnglishLanguage EpiPen "EpiPen")	Medicine.kif 6375-6375
(termFormat EnglishLanguage EpiPen "adrenaline autoinjector")	Medicine.kif 6377-6377
(termFormat EnglishLanguage EpiPen "epinephrine autoinjector")	Medicine.kif 6376-6376

antecedent

(=> (instance ?EP EpiPen) (exists (?N ?A) (and (instance ?N Needle) (part ?N ?EP) (instance ?A Adrenaline) (part ?A ?EP))))	Medicine.kif 6380-6387	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
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I ?H ?A) (and (instance ?I Injecting) (instrument ?I ?EP) (destination ?I ?H) (experiencer ?A ?H) (instance ?A Anaphylaxis) (during (WhenFn ?I) (WhenFn ?A))))))	Medicine.kif 6397-6409	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
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP)))))	Medicine.kif 6389-6395	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 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