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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternEquineEncephalitis
EasternEquineEncephalitis(東部馬腦炎)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1698-1698 發熱東部馬腦炎disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1699-1700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6418-6418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5974-5974
No TPTP formula. May not be expressible in strict first order. WMD.kif 1697-1697 東部馬腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1696-1696 東部馬腦炎 and 病毒性疾病

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1691-1691 東部馬腦炎東部馬腦炎病毒biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20874-20874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20873-20873
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20872-20872


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