| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1479-1479 |
biochemicalAgentSyndrome Tetrodotoxin and ParalyticShellfishPoisoning |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1480-1483 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6920-6920 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8080-8080 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31694-31694 |
roomTempState Tetrodotoxin and Solid |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1478-1478 |
Tetrodotoxin e' uma sub-classe de Substancia Corporal |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1477-1477 |
Tetrodotoxin e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1476-1476 |
Tetrodotoxin e' uma sub-classe de Toxin |
