No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9360-9360 |
Stimulant est disjoint de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10933-10933 |
AlcoholicBeverage est une sous-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3867-3867 |
Benzodiazepine est une sous-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8665-8665 |
Ethanol est une sous-classe de Depressant |
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. |
domainEnglishFormat.kif 19164-19164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19163-19163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19162-19162 |
|