No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9372-9373 |
|
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 31663-31663 |
roomTempState Opium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6409-6409 |
Opium e' uma sub-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9370-9370 |
Opium e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9374-9374 |
Opium e' uma sub-classe de Depressant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4785-4785 |
Opium e' uma sub-classe de Narcotic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9371-9371 |
Opium e' uma sub-classe de PlantSubstance |