TreeView Knowledge Base Browser - hasMolecularStructuralAttribute

appearance as argument number 1

(instance hasMolecularStructuralAttribute BinaryPredicate)	VirusProteinAndCellPart.kif 166-166	has molecular structural attribute is an instance of binary predicate
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 167-167	has molecular structural attribute is a subrelation of attribute
(domain hasMolecularStructuralAttribute 1 Molecule)	VirusProteinAndCellPart.kif 168-168	The number 1 argument of has molecular structural attribute is an instance of molecule
(domain hasMolecularStructuralAttribute 2 MoleculeStructuralAttribute)	VirusProteinAndCellPart.kif 169-169	The number 2 argument of has molecular structural attribute is an instance of molecule structural attribute
(documentation hasMolecularStructuralAttribute EnglishLanguage "(hasMolecularStructuralAttribute ?MOL ?ATT) means that ?MOL has the attribute ?ATT.")	VirusProteinAndCellPart.kif 170-171	The number 2 argument of has molecular structural attribute is an instance of molecule structural attribute

appearance as argument number 2

(format EnglishLanguage hasMolecularStructuralAttribute "%2 %p{has} %n{does not have} a molecular structural attribute of %1")	domainEnglishFormat.kif 1143-1143
(format ChineseTraditionalLanguage hasMolecularStructuralAttribute "%2 %p{有} %n{沒有} %1 的分子結構屬性")	domainEnglishFormat.kif 1144-1144
(format ChineseLanguage hasMolecularStructuralAttribute "%2 %p{有} %n{没有} %1 的分子结构属性")	domainEnglishFormat.kif 1145-1145
(termFormat EnglishLanguage hasMolecularStructuralAttribute "has molecular structural attribute")	domainEnglishFormat.kif 27536-27536
(termFormat ChineseTraditionalLanguage hasMolecularStructuralAttribute "具有分子結構屬性")	domainEnglishFormat.kif 27537-27537
(termFormat ChineseLanguage hasMolecularStructuralAttribute "具有分子结构属性")	domainEnglishFormat.kif 27538-27538

consequent

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