| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | Opium is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9344-9344 | Opium is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9347-9347 | Opium is a subclass of depressant |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6409-6409 | Opium is a subclass of painkiller |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4785-4785 | Opium is a subclass of narcotic |
|
|