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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AntiViralMedicine
AntiViralMedicine(anti viral medicine)

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 Anti viral medicine is a subclass of medicine

appearance as argument number 2

(subclass Remdesivir AntiViralMedicine) VirusProteinAndCellPart.kif 1267-1267 Veklury is a subclass of anti viral medicine
(termFormat EnglishLanguage AntiViralMedicine "anti viral medicine") domainEnglishFormat.kif 64461-64461


        (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