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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HerpesB

 Sigma KEE - HerpesB
HerpesB

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1519-1519 diseaseIncubation HerpesB, 10 DayDuration(s) and 20 DayDuration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1520-1520 diseaseMortality HerpesB and 0.7
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 HerpesB e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1517-1517 HerpesB e' uma instancia de ViralDisease

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