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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HepatitisA
HepatitisA(hepatitis a)
hepatitis_A, infectious_hepatitis

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1788-1788 Fever is a disease symptom of hepatitis a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1789-1791
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7048-7048
No TPTP formula. May not be expressible in strict first order. WMD.kif 1786-1786 Hepatitis a is an instance of hepatitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1787-1787 Hepatitis a is an instance of vaccinatable disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1781-1781 Hepatitis a is a biochemical agent syndrome of hepatitisA virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27957-27957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27956-27956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27955-27955


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