No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4782-4782 |
Amphetamine 是 受控物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 82-82 |
非法药物 是 受控物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4781-4781 |
麻醉剂 是 受控物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17046-17046 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17045-17045 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17044-17044 |
|