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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DoubleStrandedMolecularStructure
DoubleStrandedMolecularStructure

appearance as argument number 1
-------------------------


(documentation DoubleStrandedMolecularStructure EnglishLanguage "The attribute, held by molecules, of being double stranded.") VirusProteinAndCellPart.kif 159-160
(instance DoubleStrandedMolecularStructure MoleculeStructuralAttribute) VirusProteinAndCellPart.kif 158-158 DoubleStrandedMolecularStructureMoleculeStructuralAttributeinstance では %n

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


(termFormat ChineseLanguage DoubleStrandedMolecularStructure "双链分子结构") domainEnglishFormat.kif 20232-20232
(termFormat ChineseTraditionalLanguage DoubleStrandedMolecularStructure "雙鏈分子結構") domainEnglishFormat.kif 20231-20231
(termFormat EnglishLanguage DoubleStrandedMolecularStructure "double stranded molecular structure") domainEnglishFormat.kif 20230-20230

consequent
-------------------------


(=>
    (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