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 The number 1 argument of has molecular structural attribute is an instance of molecule
(domain hasMolecularStructuralAttribute 2 MoleculeStructuralAttribute) VirusProteinAndCellPart.kif 165-165 The number 2 argument of has molecular structural attribute is an instance of molecule structural attribute
(instance hasMolecularStructuralAttribute BinaryPredicate) VirusProteinAndCellPart.kif 162-162 has molecular structural attribute is an instance of binary predicate
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163 has molecular structural attribute is a subrelation of attribute

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