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

Formal Language: 



KB Term:  Term intersection
English Word: 

  secretesToxin

 Sigma KEE - secretesToxin
secretesToxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 985-986
No TPTP formula. May not be expressible in strict first order. WMD.kif 983-983 域子類 分泌毒素, 1 and Organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 984-984 域子類 分泌毒素, 2 and 毒素
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-982 例 分泌毒素 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2223-2223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2222-2222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2221-2221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51843-51843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51842-51842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51841-51841

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 313-315
No TPTP formula. May not be expressible in strict first order. WMD.kif 988-998

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 318-318 肉毒桿菌毒素 是 肉毒梭菌 的 secretes 毒素
No TPTP formula. May not be expressible in strict first order. WMD.kif 341-341 Ε毒素 是 產氣莢膜梭菌 的 secretes 毒素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1332-1332 志賀毒素 是 志賀氏痢疾桿菌 的 secretes 毒素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 葡萄球菌腸毒素b 是 金黃色葡萄球菌 的 secretes 毒素


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