No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1732-1732 |
diseaseMedicine Tuberculosis, OralAntibiotic and ing�rer |
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 |
Tuberculosis est une instance de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1731-1731 |
Tuberculosis est une instance de LifeThreateningDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1730-1730 |
Tuberculosis est une instance de VaccinatableDisease |