No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1293-1294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7514-7514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7515-7515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7516-7516 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6757-6757 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31629-31629 |
roomTempState 青霉素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1292-1292 |
青霉素 是 口服抗生素 的 subclass |