No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8734-8734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31652-31652 |
roomTempState stimulant drug and liquid |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 106-106 |
Stimulant drug is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 107-107 |
Stimulant drug is a subclass of stimulant |