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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirusDoubleStranded
VirusDoubleStranded

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


(documentation VirusDoubleStranded EnglishLanguage "The class of viruses whose DNA or RNA is doublestranded.") VirusProteinAndCellPart.kif 147-148
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 146-146 VirusDoubleStranded est une sous-classe de virus

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


(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 Virus est compl�tement d�compos� en VirusDoubleStranded + VirusSingleStranded
(subclass HerpesVirus VirusDoubleStranded) WMD.kif 1512-1512 HerpesVirus est une sous-classe de VirusDoubleStranded
(termFormat ChineseLanguage VirusDoubleStranded "病毒双重搁浅") domainEnglishFormat.kif 61760-61760
(termFormat ChineseTraditionalLanguage VirusDoubleStranded "病毒雙重擱淺") domainEnglishFormat.kif 61759-61759
(termFormat EnglishLanguage VirusDoubleStranded "virus double stranded") domainEnglishFormat.kif 61758-61758

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


(=>
    (and
        (instance ?VIR VirusDoubleStranded)
        (geneticSubstrateOfVirus ?VIR ?GENMAT))
    (hasMolecularStructuralAttribute ?GENMAT DoubleStrandedMolecularStructure))
VirusProteinAndCellPart.kif 169-173


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