Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   VirusDoubleStranded
|
|
|
| appearance as argument number 1 |
|
|
| (subclass VirusDoubleStranded Virus) | VirusProteinAndCellPart.kif 150-150 | Virus double stranded is a subclass of virus |
| (documentation VirusDoubleStranded EnglishLanguage "The class of viruses whose DNA or RNA is doublestranded.") | VirusProteinAndCellPart.kif 151-152 | Virus double stranded is a subclass of virus |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?VIR VirusDoubleStranded) (geneticSubstrateOfVirus ?VIR ?GENMAT)) (hasMolecularStructuralAttribute ?GENMAT DoubleStrandedMolecularStructure)) |
VirusProteinAndCellPart.kif 173-177 | If X is an instance of virus double stranded and Y is a genetic substrate of virus of X, then double stranded molecular structure has a molecular structural attribute of Y |
|