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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HepatitisB

 Sigma KEE - HepatitisB
HepatitisB(B型肝炎)

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 B型肝炎 是 肝炎 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1800-1800 B型肝炎 是 危及生命的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1799-1799 B型肝炎 是 可预防的疾病 的 instance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1794-1794 B型肝炎 是 B型肝炎病毒 的 biochemical 病毒征兆
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 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