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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DNAVirus

Sigma KEE - DNAVirus
DNAVirus(DNA virus)

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


(documentation DNAVirus EnglishLanguage "The class of viruses whose genetic material is made of DNA.") VirusProteinAndCellPart.kif 101-102
(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 100-100 DNA virus is a subclass of virus

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


(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 Virus is exhaustively partitioned into DNA virus and RNA virus
(subclass Poxviridae DNAVirus) VirusProteinAndCellPart.kif 175-175 Poxviridae is a subclass of DNA virus
(termFormat ChineseLanguage DNAVirus "DNA病毒") domainEnglishFormat.kif 20040-20040
(termFormat ChineseTraditionalLanguage DNAVirus "DNA病毒") domainEnglishFormat.kif 20039-20039
(termFormat EnglishLanguage DNAVirus "DNA virus") domainEnglishFormat.kif 20038-20038

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


(=>
    (instance ?OBJ1 DNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 DNAMolecule))))
VirusProteinAndCellPart.kif 111-116
(=>
    (instance ?VIRUS DNAVirus)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE DNAMolecule)
            (part ?MOLECULE ?VIRUS))))
VirusProteinAndCellPart.kif 104-109


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