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 O argumento numero 1 de secretesToxin e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order. WMD.kif 984-984 O argumento numero 2 de secretesToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-982 secretesToxin e' uma instancia de Predicado Binario

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 secretesToxin ClostridiumBotulinum and BotulinumToxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 341-341 secretesToxin ClostridiumPerfringens and EpsilonToxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1332-1332 secretesToxin ShigellaDysenteriae and ShigaToxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 secretesToxin StaphylococcusAureus and StaphylococcalEnterotoxinB


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