No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 83-83 |
麻 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 84-84 |
可卡因 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 85-85 |
抑制药物 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 86-86 |
迷幻剂 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 101-101 |
大麻 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 102-102 |
海洛因 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 103-103 |
非法合成药物 是 非法药物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 105-105 |
甲基苯丙胺 是 非法药物 的 subclass |
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. |
domainEnglishFormat.kif 29253-29253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29252-29252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29251-29251 |
|