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 31622-31622 |
roomTempState methamphetamine and solid |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 105-105 |
Methamphetamine is a subclass of illicit drug |