No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4786-4786 |
Cocaine is a subclass of narcotic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
Morphine is a subclass of narcotic |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4785-4785 |
Opium is a subclass of 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 |
|