| StimulantDrug(興奮劑)
|
| appearance as argument number 1 |
|
| 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 31656-31656 | roomTempState 興奮劑 and 液體 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | 子類 興奮劑 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 107-107 | 子類 興奮劑 and 刺激物 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55368-55368 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55367-55367 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55366-55366 |
|
|
|