Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Chromium

 Sigma KEE - DNAVirus
DNAVirus(DNA virus)

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


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 104-104 DNA virus is a subclass of virus
(documentation DNAVirus EnglishLanguage "The class of viruses whose genetic material is made of DNA.") VirusProteinAndCellPart.kif 105-106 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 179-179 Poxviridae is a subclass of DNA virus
(termFormat EnglishLanguage DNAVirus "DNA virus") domainEnglishFormat.kif 20040-20040 Poxviridae is a subclass of DNA virus
(termFormat ChineseTraditionalLanguage DNAVirus "DNA病毒") domainEnglishFormat.kif 20041-20041 Poxviridae is a subclass of DNA virus
(termFormat ChineseLanguage DNAVirus "DNA病毒") domainEnglishFormat.kif 20042-20042 Poxviridae is a subclass of DNA virus

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


(=>
    (instance ?VIRUS DNAVirus)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE DNAMolecule)
            (part ?MOLECULE ?VIRUS))))		 VirusProteinAndCellPart.kif 108-113 If X is an instance of DNA virus, then there exists Y such that Y is an instance of DNA molecule and Y is a part of X
(=>
    (instance ?OBJ1 DNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 DNAMolecule))))		 VirusProteinAndCellPart.kif 115-120 If X is an instance of DNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of DNA molecule


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners