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 39725-39725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39724-39724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39723-39723 |
|