No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1732-1732 |
Tuberculosis is disease treatment oral antibiotic for ingesting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6180-6182 |
|
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 6178-6178 |
Tuberculosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1731-1731 |
Tuberculosis is an instance of life threatening disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1730-1730 |
Tuberculosis is an instance of vaccinatable disease |