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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injecting
Injecting(injecting)
injection, 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 10655-10656
(externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG") pictureList.kif 4736-4736
(subclass Injecting Inserting) Merge.kif 10653-10653 Injecting is a subclass of inserting

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


(termFormat ChineseLanguage Injecting "注射") domainEnglishFormat.kif 30070-30070
(termFormat ChineseTraditionalLanguage Injecting "注射") domainEnglishFormat.kif 30069-30069
(termFormat EnglishLanguage Injecting "injecting") domainEnglishFormat.kif 30068-30068

antecedent
-------------------------


(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 10658-10666


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