No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6700-6700 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7330-7330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7331-7331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7333-7333 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31618-31618 |
roomTempState 甲基苯丙胺 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 105-105 |
甲基苯丙胺 是 非法药物 的 subclass |