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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaintLouisEncephalitis
SaintLouisEncephalitis(圣路易斯脑炎)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1682-1682 圣路易斯脑炎 对于 %3 dis​​ease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 发热圣路易斯脑炎dis​​ease 病状
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 圣路易斯脑炎危及生命的疾病instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 圣路易斯脑炎病毒性疾病instance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1676-1676 圣路易斯脑炎圣路易斯脑炎病毒biochemical 病毒征兆
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