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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AntiViralMedicine

appearance as argument number 1

(documentation AntiViralMedicine EnglishLanguage "A Medcine that is intended for use in a TherapeuticProcess, treating a ViralDisease.") VirusProteinAndCellPart.kif 1255-1256
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1254-1254

appearance as argument number 2

(subclass Remdesivir AntiViralMedicine) VirusProteinAndCellPart.kif 1267-1267
(termFormat EnglishLanguage AntiViralMedicine "anti viral medicine") domainEnglishFormat.kif 64449-64449


        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))
VirusProteinAndCellPart.kif 1258-1265

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