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 151-152
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 150-150

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 61783-61783
(termFormat ChineseTraditionalLanguage VirusDoubleStranded "病毒雙重擱淺") domainEnglishFormat.kif 61782-61782
(termFormat EnglishLanguage VirusDoubleStranded "virus double stranded") domainEnglishFormat.kif 61781-61781

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


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


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