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 51845-51845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51844-51844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51843-51843

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