No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9345-9346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2717-2717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2891-2891 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2890-2890 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2889-2889 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31631-31631 |
roomTempState opium and solid |
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. |
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 9347-9347 |
Opium is a subclass of depressant |
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. |
Mid-level-ontology.kif 9344-9344 |
Opium is a subclass of plant substance |