Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injecting
Injecting(injecting)
infuse, inject, injection, shoot, shot

appearance as argument number 1
-------------------------


(documentation Injecting ChineseLanguage "这是用注射器把一样 BiologicallyActiveSubstance Inserting 进一个 AnimalHuman 体内。") chinese_format.kif 3040-3041
(documentation Injecting EnglishLanguage "Inserting a BiologicallyActiveSubstance into an Animal or a Human with a syringe.") Merge.kif 11510-11511
(documentation Injecting JapaneseLanguage "Animal または注射器を持つ HumanBiologicallyActiveSubstanceInserting 。") japanese_format.kif 1808-1809
(externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG") pictureList.kif 4734-4734
(subclass Injecting Inserting) Merge.kif 11508-11508 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 hepatitis A 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 30179-30179 Injecting is a biochemical agent delivery of west nile virus
(termFormat ChineseTraditionalLanguage Injecting "注射") domainEnglishFormat.kif 30178-30178 Injecting is a biochemical agent delivery of west nile virus
(termFormat EnglishLanguage Injecting "injecting") domainEnglishFormat.kif 30177-30177 Injecting is a biochemical agent delivery of west nile virus

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 5074-5074 Ondansetron is disease treatment nausea for injecting
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5076-5076 Ondansetron is disease treatment vomiting for injecting
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) Medicine.kif 3612-3612 Rheumatoid arthritis is disease treatment clarithromycin for injecting
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) Medicine.kif 5257-5257 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 3616-3632
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11513-11521

consequent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1362-1369
(=>
    (instance ?A InjectedAntibiotic)
    (hasPurpose ?A
        (exists (?I)
            (and
                (instance ?I Injecting)
                (objectTransferred ?I ?A)))))
Medicine.kif 1335-1341
(=>
    (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 6362-6374
(=>
    (instance ?EP EpiPen)
    (hasPurpose ?EP
        (exists (?I)
            (and
                (instance ?I Injecting)
                (instrument ?I ?EP)))))
Medicine.kif 6354-6360


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