TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 161-164
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.	WMD.kif 159-159	Toxin e' uma sub-classe de BiologicalAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 160-160	Toxin e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 157-157	O conceito BiologicalAgent e' completamente decomposto em Toxin + ToxicOrganism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 437-437	AbrinToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 308-308	Batrachotoxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 322-322	BotulinumToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1467-1467	Conotoxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 348-348	EpsilonToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 217-217	Mycotoxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 429-429	RicinToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1452-1452	Saxitoxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1338-1338	ShigaToxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1437-1437	StaphylococcalEnterotoxinB e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1476-1476	Tetrodotoxin e' uma sub-classe de Toxin
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58688-58688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58687-58687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58686-58686

appearance as argument number 3

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

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 166-178

Objeto e' uma instancia de Toxin
Objeto Processo Objeto e' uma instancia de ToxicOrganism Processo e' uma instancia de Processo Biologico Objeto e' um instrumento para Processo Objeto e' o resultado de Processo Objeto Objeto e' o resultado de Processo Objeto e' uma copia exata de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	Processo e' uma instancia de Causar Dano Objeto e' um instrumento para Processo Objeto e' uma instancia de Substancia Biologica Ativa Objeto e' uma instancia de Toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 191-196	Objeto e' uma instancia de ToxicOrganism Objeto Objeto e' uma instancia de Toxin Objeto e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: