No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4786-4786 |
Cocaine e' uma sub-classe de Narcotic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
Morphine e' uma sub-classe de Narcotic |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4785-4785 |
Opium e' uma sub-classe de Narcotic |
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 |
|