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 Methamphetamine and Solid |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 105-105 |
Methamphetamine est une sous-classe de IllicitDrug |