Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - hasMolecularStructuralAttribute
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
-------------------------


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners