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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirusDoubleStranded
VirusDoubleStranded(virus double stranded)

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 Virus double stranded is a subclass of virus

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


(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 Virus is exhaustively partitioned into virus double stranded and virus single stranded
(subclass HerpesVirus VirusDoubleStranded) WMD.kif 1512-1512 Herpes virus is a subclass of virus double stranded
(termFormat ChineseLanguage VirusDoubleStranded "病毒双重搁浅") domainEnglishFormat.kif 61762-61762
(termFormat ChineseTraditionalLanguage VirusDoubleStranded "病毒雙重擱淺") domainEnglishFormat.kif 61761-61761
(termFormat EnglishLanguage VirusDoubleStranded "virus double stranded") domainEnglishFormat.kif 61760-61760

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