TreeView Knowledge Base Browser - DiabetesType1

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DiabetesType1

DiabetesType1(juvenile diabetes)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2137-2143
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2136-2136	Juvenile diabetes is an instance of diabetes mellitus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2146-2146
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2145-2145
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2147-2147
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2144-2144

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2149-2154	If juvenile diabetes is an attribute of an agent, then there exists a process such that the process is an instance of auto-immune disease and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2156-2161	If juvenile diabetes is an attribute of a cognitive agent, then there exists a physical such that the physical is an instance of insulin and the cognitive agent lacks the physical

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