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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasMolecularStructuralAttribute

 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 hasMolecularStructuralAttribute の数値 1 引数は 分子 の instance では %n
(domain hasMolecularStructuralAttribute 2 MoleculeStructuralAttribute) VirusProteinAndCellPart.kif 165-165 hasMolecularStructuralAttribute の数値 2 引数は MoleculeStructuralAttribute の instance では %n
(instance hasMolecularStructuralAttribute BinaryPredicate) VirusProteinAndCellPart.kif 162-162 hasMolecularStructuralAttribute は 2進述語 の instance では %n
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163 hasMolecularStructuralAttribute は attribute の subrelation では %n

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

Show without tree


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