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

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


(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41
(subclass HerpesVirus VirusDoubleStranded) WMD.kif 1512-1512
(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