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 6185-6187 |
|
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 6183-6183 |
结核 是 细菌性疾病 的 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 |