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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScarletFever

 Sigma KEE - ScarletFever
ScarletFever(scarlet fever)
scarlatina, scarlet_fever

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1761-1761 Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1762-1763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6842-6842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7816-7816
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7817-7817
No TPTP formula. May not be expressible in strict first order. WMD.kif 1760-1760 Scarlet fever is an instance of bacterial disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1750-1750 Scarlet fever is a biochemical agent syndrome of streptococcus a
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51483-51483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51482-51482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51481-51481


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