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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RNAMolecule

 Sigma KEE - RNAMolecule
RNAMolecule(RNA分子)

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 119-124
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1237-1237
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 118-118 RNA分子 是 Biopolymer 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50164-50164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50163-50163
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50162-50162

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 654-668
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 56-62
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 130-135
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1575-1587


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