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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LegionnairesDisease
LegionnairesDisease(軍團病)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1888-1888 0.125 是 軍團病disease 死亡
No TPTP formula. May not be expressible in strict first order. WMD.kif 1889-1890
No TPTP formula. May not be expressible in strict first order. WMD.kif 1887-1887 軍團病 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1886-1886 子屬性 軍團病 and 軍團病

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33887-33887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33886-33886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33885-33885


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