| 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 61808-61808 | Herpes virus is a subclass of virus double stranded |
| (termFormat ChineseTraditionalLanguage VirusDoubleStranded "病毒雙重擱淺") | domainEnglishFormat.kif 61807-61807 | Herpes virus is a subclass of virus double stranded |
| (termFormat EnglishLanguage VirusDoubleStranded "virus double stranded") | domainEnglishFormat.kif 61806-61806 | Herpes virus is a subclass of virus double stranded |
| 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