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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HerpesB

 Sigma KEE - HerpesB
HerpesB(皰疹B)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1519-1519 皰疹B 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1520-1520 0.7 是 皰疹B 的 disease 死亡
No TPTP formula. May not be expressible in strict first order. WMD.kif 1521-1521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9289-9289
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9290-9290
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9291-9291
No TPTP formula. May not be expressible in strict first order. WMD.kif 1518-1518 例 皰疹B and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1517-1517 例 皰疹B and 病毒性疾病

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28029-28029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28028-28028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28027-28027


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