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 102-103
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 101-101

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

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


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


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