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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injecting
Injecting

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 11570-11571
(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 4734-4734
(subclass Injecting Inserting) Merge.kif 11568-11568 Injecting は Inserting の subclass では %n

appearance as argument number 2
-------------------------


(biochemicalAgentDelivery BacillusAnthracis Injecting) WMD.kif 283-283 biochemicalAgentDelivery BacillusAnthracis and Injecting
(biochemicalAgentDelivery BurkholderiaMallei Injecting) WMD.kif 357-357 biochemicalAgentDelivery BurkholderiaMallei and Injecting
(biochemicalAgentDelivery BurkholderiaPseudomallei Injecting) WMD.kif 373-373 biochemicalAgentDelivery BurkholderiaPseudomallei and Injecting
(biochemicalAgentDelivery ClostridiumTetani Injecting) WMD.kif 1507-1507 biochemicalAgentDelivery ClostridiumTetani and Injecting
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Injecting) WMD.kif 1921-1921 biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Injecting
(biochemicalAgentDelivery DengueFeverVirus Injecting) WMD.kif 1641-1641 biochemicalAgentDelivery DengueFeverVirus and Injecting
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Injecting) WMD.kif 1690-1690 biochemicalAgentDelivery EasternEquineEncephalitisVirus and Injecting
(biochemicalAgentDelivery HepatitisAVirus Injecting) WMD.kif 1783-1783 biochemicalAgentDelivery HepatitisAVirus and Injecting
(biochemicalAgentDelivery HepatitisBVirus Injecting) WMD.kif 1795-1795 biochemicalAgentDelivery HepatitisBVirus and Injecting
(biochemicalAgentDelivery HepatitisCVirus Injecting) WMD.kif 1806-1806 biochemicalAgentDelivery HepatitisCVirus and Injecting
(biochemicalAgentDelivery JapaneseEncephalitisVirus Injecting) WMD.kif 1704-1704 biochemicalAgentDelivery JapaneseEncephalitisVirus and Injecting
(biochemicalAgentDelivery LaCrosseVirus Injecting) WMD.kif 1661-1661 biochemicalAgentDelivery LaCrosseVirus and Injecting
(biochemicalAgentDelivery MalarialPlasmodium Injecting) WMD.kif 1616-1616 biochemicalAgentDelivery MalarialPlasmodium and Injecting
(biochemicalAgentDelivery MarburgVirus Injecting) WMD.kif 1736-1736 biochemicalAgentDelivery MarburgVirus and Injecting
(biochemicalAgentDelivery MonkeypoxVirus Injecting) WMD.kif 1234-1234 biochemicalAgentDelivery MonkeypoxVirus and Injecting
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Injecting) WMD.kif 1675-1675 biochemicalAgentDelivery SaintLouisEncephalitisVirus and Injecting
(biochemicalAgentDelivery TickBorneEncephalitisVirus Injecting) WMD.kif 2025-2025 biochemicalAgentDelivery TickBorneEncephalitisVirus and Injecting
(biochemicalAgentDelivery WestNileVirus Injecting) WMD.kif 1628-1628 biochemicalAgentDelivery WestNileVirus and Injecting
(termFormat ChineseLanguage Injecting "注射") domainEnglishFormat.kif 30162-30162 biochemicalAgentDelivery WestNileVirus and Injecting
(termFormat ChineseTraditionalLanguage Injecting "注射") domainEnglishFormat.kif 30161-30161 biochemicalAgentDelivery WestNileVirus and Injecting
(termFormat EnglishLanguage Injecting "injecting") domainEnglishFormat.kif 30160-30160 biochemicalAgentDelivery WestNileVirus and Injecting

appearance as argument number 3
-------------------------


(biochemicalAgentAntidote NerveAgent Atropine Injecting) WMD.kif 561-561 biochemicalAgentAntidote NerveAgent, Atropine and Injecting
(diseaseMedicine Ondansetron Nausea Injecting) Medicine.kif 5093-5093 diseaseMedicine Ondansetron, Nausea and Injecting
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5095-5095 diseaseMedicine Ondansetron, Vomiting and Injecting
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) Medicine.kif 3627-3627 diseaseMedicine RheumatoidArthritis, Clarithromycin and Injecting
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) Medicine.kif 5278-5278 diseaseMedicine RheumatoidArthritis, Sarilumab and 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 3631-3647
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))		 Merge.kif 11573-11581

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1366-1373
(=>
    (instance ?A InjectedAntibiotic)
    (hasPurpose ?A
        (exists (?I)
            (and
                (instance ?I Injecting)
                (objectTransferred ?I ?A)))))		 Medicine.kif 1339-1345
(=>
    (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 6396-6408
(=>
    (instance ?EP EpiPen)
    (hasPurpose ?EP
        (exists (?I)
            (and
                (instance ?I Injecting)
                (instrument ?I ?EP)))))		 Medicine.kif 6388-6394


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