Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DoubleStrandedMolecularStructure(double stranded molecular structure) |
| appearance as argument number 1 |
|
| (instance DoubleStrandedMolecularStructure MoleculeStructuralAttribute) | VirusProteinAndCellPart.kif 162-162 | Double stranded molecular structure is an instance of molecule structural attribute |
| (documentation DoubleStrandedMolecularStructure EnglishLanguage "The attribute, held by molecules, of being double stranded.") | VirusProteinAndCellPart.kif 163-164 | Double stranded molecular structure is an instance of molecule structural attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleStrandedMolecularStructure "double stranded molecular structure") | domainEnglishFormat.kif 20232-20232 | |
| (termFormat ChineseTraditionalLanguage DoubleStrandedMolecularStructure "雙鏈分子結構") | domainEnglishFormat.kif 20233-20233 | |
| (termFormat ChineseLanguage DoubleStrandedMolecularStructure "双链分子结构") | domainEnglishFormat.kif 20234-20234 |
| consequent |
|
|
| (=> (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 |
|