Tuberculosis - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1732-1732	结核是对于消化的 disease 治愈口服抗生素
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6186-6188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6931-6931
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8124-8124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8125-8125
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8126-8126
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8132-8132
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6184-6184	结核是细菌性疾病的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1731-1731	结核是危及生命的疾病的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1730-1730	结核是可预防的疾病的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1726-1726	结核是结核分枝杆菌的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59402-59402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59401-59401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59400-59400