No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4786-4786 |
子類 可卡因 and 麻醉劑 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
子類 Morphine and 麻醉劑 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4785-4785 |
子類 鴉片 and 麻醉劑 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39723-39723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39722-39722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39721-39721 |
|