No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8734-8734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31688-31688 |
roomTempState StimulantDrug and Liquid |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 106-106 |
StimulantDrug e' uma sub-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 107-107 |
StimulantDrug e' uma sub-classe de Stimulant |