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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DNAVirus
DNAVirus

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 DNAVirusウイルスsubclass では %n

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


(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 ウイルスDNAVirus + RNAVirusexhaustively partitioned %n
(subclass Poxviridae DNAVirus) VirusProteinAndCellPart.kif 175-175 PoxviridaeDNAVirussubclass では %n
(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 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