No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9333-9333 |
Stimulant e' disjunto de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10906-10906 |
AlcoholicBeverage e' uma sub-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3867-3867 |
Benzodiazepine e' uma sub-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8638-8638 |
Ethanol e' uma sub-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9347-9347 |
Opium e' uma sub-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 |
|