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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HepatitisB
HepatitisB(hepatitis b)
hepatitis_B, serum_hepatitis

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1801-1802
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7052-7052
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6609-6609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7050-7050
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7054-7054
No TPTP formula. May not be expressible in strict first order. WMD.kif 1798-1798 Hepatitis b is an instance of hepatitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1800-1800 Hepatitis b is an instance of life threatening disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1799-1799 Hepatitis b is an instance of vaccinatable disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1794-1794 Hepatitis b is a biochemical agent syndrome of hepatitisB virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27969-27969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27968-27968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27967-27967


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