Legionellosis - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1884-1884
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1883-1883	军团病是细菌性疾病的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1878-1878	军团病是军团菌的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1886-1886	军团病是军团病的 subAttribute
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1892-1892	庞蒂亚克热是军团病的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33881-33881
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33880-33880
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33879-33879