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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AminoAcid

 Sigma KEE - AminoAcid
AminoAcid(氨基酸)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8724-8725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4495-4495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4496-4496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31594-31594 roomTempState 氨基酸 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8722-8722 氨基酸 是 化学酸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8723-8723 氨基酸 是 有机化合物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7236-7236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7235-7235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7234-7234

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8727-8732


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