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 数量 是 生物 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 984-984 分泌毒素 的 2 数量 是 毒素 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-982 分泌毒素 是 二元谓语 的 instance

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