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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiViralMedicine

Sigma KEE - AntiViralMedicine
AntiViralMedicine

appearance as argument number 1
-------------------------


(documentation AntiViralMedicine EnglishLanguage "A Medcine that is intended for use in a TherapeuticProcess, treating a ViralDisease.") VirusProteinAndCellPart.kif 1256-1257
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1255-1255 AntiViralMedicine est une sous-classe de Medicine

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


(subclass Remdesivir AntiViralMedicine) VirusProteinAndCellPart.kif 1268-1268 Remdesivir est une sous-classe de AntiViralMedicine
(termFormat EnglishLanguage AntiViralMedicine "anti viral medicine") domainEnglishFormat.kif 64451-64451

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


(=>
    (and
        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
        (and
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))
VirusProteinAndCellPart.kif 1259-1266


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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