|
|
   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 31652-31652 | roomTempState 兴奋剂 and 液体 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | 兴奋剂 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 107-107 | 兴奋剂 是 刺激物 的 subclass |
| 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 |
|
|
|
