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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaintLouisEncephalitis

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 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 發熱聖路易斯腦炎disease 病狀
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 聖路易斯腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 聖路易斯腦炎 and 病毒性疾病

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 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