No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9851-9852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4488-4488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33507-33507 |
room temperature state alkaloid and liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9850-9850 |
Alkaloid is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9848-9848 |
Alkaloid is a subclass of chemical base |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9849-9849 |
Alkaloid is a subclass of plant substance |