Injecting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Injecting ChineseLanguage "这是用注射器把一样 BiologicallyActiveSubstance Inserting 进一个 Animal 或 Human 体内。")	chinese_format.kif 3040-3041
(documentation Injecting EnglishLanguage "Inserting a BiologicallyActiveSubstance into an Animal or a Human with a syringe.")	Merge.kif 11435-11436
(documentation Injecting JapaneseLanguage "Animal または注射器を持つ Human に BiologicallyActiveSubstance を Inserting 。")	japanese_format.kif 1808-1809
(externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG")	pictureList.kif 4735-4735
(subclass Injecting Inserting)	Merge.kif 11433-11433	Injecting is a subclass of inserting

appearance as argument number 2

(biochemicalAgentDelivery BacillusAnthracis Injecting)	WMD.kif 283-283	Injecting is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BurkholderiaMallei Injecting)	WMD.kif 357-357	Injecting is a biochemical agent delivery of burkholderia mallei
(biochemicalAgentDelivery BurkholderiaPseudomallei Injecting)	WMD.kif 373-373	Injecting is a biochemical agent delivery of burkholderia pseudomallei
(biochemicalAgentDelivery ClostridiumTetani Injecting)	WMD.kif 1507-1507	Injecting is a biochemical agent delivery of clostridium tetani
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Injecting)	WMD.kif 1921-1921	Injecting is a biochemical agent delivery of crimean congo hemorrhagic fever virus
(biochemicalAgentDelivery DengueFeverVirus Injecting)	WMD.kif 1641-1641	Injecting is a biochemical agent delivery of dengue fever virus
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Injecting)	WMD.kif 1690-1690	Injecting is a biochemical agent delivery of eastern equine encephalitis virus
(biochemicalAgentDelivery HepatitisAVirus Injecting)	WMD.kif 1783-1783	Injecting is a biochemical agent delivery of hepatitisA virus
(biochemicalAgentDelivery HepatitisBVirus Injecting)	WMD.kif 1795-1795	Injecting is a biochemical agent delivery of hepatitisB virus
(biochemicalAgentDelivery HepatitisCVirus Injecting)	WMD.kif 1806-1806	Injecting is a biochemical agent delivery of hepatitisC virus
(biochemicalAgentDelivery JapaneseEncephalitisVirus Injecting)	WMD.kif 1704-1704	Injecting is a biochemical agent delivery of japanese encephalitis virus
(biochemicalAgentDelivery LaCrosseVirus Injecting)	WMD.kif 1661-1661	Injecting is a biochemical agent delivery of la crosse virus
(biochemicalAgentDelivery MalarialPlasmodium Injecting)	WMD.kif 1616-1616	Injecting is a biochemical agent delivery of malarial plasmodium
(biochemicalAgentDelivery MarburgVirus Injecting)	WMD.kif 1736-1736	Injecting is a biochemical agent delivery of marburg virus
(biochemicalAgentDelivery MonkeypoxVirus Injecting)	WMD.kif 1234-1234	Injecting is a biochemical agent delivery of monkeypox virus
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Injecting)	WMD.kif 1675-1675	Injecting is a biochemical agent delivery of saint louis encephalitis virus
(biochemicalAgentDelivery TickBorneEncephalitisVirus Injecting)	WMD.kif 2025-2025	Injecting is a biochemical agent delivery of tick borne encephalitis virus
(biochemicalAgentDelivery WestNileVirus Injecting)	WMD.kif 1628-1628	Injecting is a biochemical agent delivery of west nile virus
(termFormat ChineseLanguage Injecting "注射")	domainEnglishFormat.kif 30151-30151
(termFormat ChineseTraditionalLanguage Injecting "注射")	domainEnglishFormat.kif 30150-30150
(termFormat EnglishLanguage Injecting "injecting")	domainEnglishFormat.kif 30149-30149

appearance as argument number 3

(biochemicalAgentAntidote NerveAgent Atropine Injecting)	WMD.kif 561-561	Nerve agent biochemical agent antidote atropine for injecting
(diseaseMedicine Ondansetron Nausea Injecting)	Medicine.kif 5086-5086	Ondansetron is disease treatment nausea for injecting
(diseaseMedicine Ondansetron Vomiting Injecting)	Medicine.kif 5088-5088	Ondansetron is disease treatment vomiting for injecting
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting)	Medicine.kif 3624-3624	Rheumatoid arthritis is disease treatment clarithromycin for injecting
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting)	Medicine.kif 5269-5269	Rheumatoid arthritis is disease treatment sarilumab for injecting

antecedent

(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely))	Medicine.kif 3628-3644	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
(=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal))))	Merge.kif 11438-11446	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal

consequent

(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1374-1381	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position
(=> (instance ?A InjectedAntibiotic) (hasPurpose ?A (exists (?I) (and (instance ?I Injecting) (objectTransferred ?I ?A)))))	Medicine.kif 1347-1353	If a physical is an instance of injected antibiotic, then the physical has the purpose there exists an entity such that the entity is an instance of injecting and the object transferred in the entity is the physical
(=> (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 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
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP)))))	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

KB Term:			Term intersection

English Word: