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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasMolecularStructuralAttribute
hasMolecularStructuralAttribute

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


(documentation hasMolecularStructuralAttribute EnglishLanguage "(hasMolecularStructuralAttribute ?MOL ?ATT) means that ?MOL has the attribute ?ATT.") VirusProteinAndCellPart.kif 166-167
(domain hasMolecularStructuralAttribute 1 Molecule) VirusProteinAndCellPart.kif 164-164
(domain hasMolecularStructuralAttribute 2 MoleculeStructuralAttribute) VirusProteinAndCellPart.kif 165-165
(instance hasMolecularStructuralAttribute BinaryPredicate) VirusProteinAndCellPart.kif 162-162
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163

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


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

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