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 进一个 AnimalHuman 体内。") chinese_format.kif 3040-3041
(documentation Injecting EnglishLanguage "Inserting a BiologicallyActiveSubstance into an Animal or a Human with a syringe.") Merge.kif 10534-10535
(externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG") pictureList.kif 4736-4736
(subclass Injecting Inserting) Merge.kif 10532-10532

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


(termFormat ChineseLanguage Injecting "注射") domainEnglishFormat.kif 30055-30055
(termFormat ChineseTraditionalLanguage Injecting "注射") domainEnglishFormat.kif 30054-30054
(termFormat EnglishLanguage Injecting "injecting") domainEnglishFormat.kif 30053-30053

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 10537-10545


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners