TreeView Knowledge Base Browser - AutoImmuneDisorder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2195-2196
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2194-2194	AutoImmuneDisorder e' uma sub-classe de Processo Patologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2311-2311	AddisonsDisease e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2413-2413	AutoimmuneVasculitis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2706-2706	CeliacDisease e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2323-2323	GravesDisease e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2369-2369	HashimotosThyroiditis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2276-2276	InflammatoryBowelDisease e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2258-2258	Lupus e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2247-2247	MultipleSclerosis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2399-2399	MyastheniaGravis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2684-2684	PerniciousAnemia e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2241-2241	Psoriasis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2224-2224	RheumatoidArthritis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5502-5502	Sepsis e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2353-2353	SjogrensSyndrome e' uma sub-classe de AutoImmuneDisorder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2198-2198
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2197-2197

antecedent

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

Medicine.kif 2200-2216

Processo e' uma instancia de AutoImmuneDisorder Agente Cognitivo experimenta Processo
Objeto Processo and Objeto Objeto e' uma instancia de Antibody Objeto e' uma &parte de Agente Cognitivo Objeto e' uma instancia de Celula Objeto e' uma &parte de Agente Cognitivo Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo Agente Cognitivo nao deseja %n Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2149-2154	DiabetesType1 e' um atributo de AutonomousAgent Processo Processo e' uma instancia de AutoImmuneDisorder AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	Fisico e' uma sub-classe de Immunosuppressive Fisico tem por fim Entidade e' uma instancia de AutoImmuneDisorder diseaseMedicine Entidade, Fisico and Entidade

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: