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 dis​​ease 孵化
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 是 危及生命的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1517-1517 疱疹B 是 病毒性疾病 的 instance

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