| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9370-9370 | Opium est une sous-classe de substance biologique active |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9371-9371 | Opium est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9374-9374 | Opium est une sous-classe de Depressant |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6409-6409 | Opium est une sous-classe de Analgesic |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4785-4785 | Opium est une sous-classe de Narcotic |
|
|