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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HepatitisC

Sigma KEE - HepatitisC
HepatitisC(hepatitis c)
hepatitis_C

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1811-1814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7058-7058
No TPTP formula. May not be expressible in strict first order. WMD.kif 1809-1809 Hepatitis c is an instance of hepatitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1810-1810 Hepatitis c is an instance of life threatening disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1805-1805 Hepatitis c is a biochemical agent syndrome of hepatitisC virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27981-27981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27980-27980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27979-27979


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