Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Diabetes
Diabetes

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2123-2132
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1384-1392
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1383-1383 Diabetes e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2121-2121 Diabetes e' uma sub-classe de Doenca ou Sindrome

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2176-2176 DiabetesGestational e' uma instancia de Diabetes
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2136-2136 DiabetesType1 e' uma instancia de Diabetes
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2163-2163 DiabetesType2 e' uma instancia de Diabetes
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2134-2134
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2133-2133

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1374-1381


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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