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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 166-167
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 164-164 具有分子结构属性 的 1 数量 是 分子 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 165-165 具有分子结构属性 的 2 数量 是 分子结构属性 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 162-162 具有分子结构属性 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 163-163 具有分子结构属性 是 属于 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1145-1145
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1144-1144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1143-1143
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27534-27534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27533-27533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27532-27532

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 169-173


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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