No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 83-83 |
子類 麻 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 84-84 |
子類 可卡因 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 85-85 |
子類 抑製藥物 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 86-86 |
子類 迷幻劑 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 101-101 |
子類 大麻 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 102-102 |
子類 海洛因 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 103-103 |
子類 非法合成藥物 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 105-105 |
子類 甲基苯丙胺 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. |
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 |
|