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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaintLouisEncephalitis
SaintLouisEncephalitis(saint louis encephalitis)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1682-1682 Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 Fever is a disease symptom of saint louis encephalitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1684-1686
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10240-10240
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11783-11783
No TPTP formula. May not be expressible in strict first order. WMD.kif 1681-1681 Saint louis encephalitis is an instance of life threatening disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 Saint louis encephalitis is an instance of viral disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1676-1676 Saint louis encephalitis is a biochemical agent syndrome of saint louis encephalitis virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50835-50835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50834-50834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50833-50833


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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