|
|
   Saxitoxin
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1457-1457 | biochemicalAgentDelivery Saxitoxin and Respirar |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1456-1456 | biochemicalAgentDelivery Saxitoxin and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1458-1458 | biochemicalAgentSyndrome Saxitoxin and ParalyticShellfishPoisoning |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1455-1455 | biologicalAgentCarrier Saxitoxin and Molusco |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1459-1460 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6840-6840 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31648-31648 | roomTempState Saxitoxin and Solid |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | Saxitoxin e' uma sub-classe de Substancia Corporal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | Saxitoxin e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | Saxitoxin e' uma sub-classe de Toxin |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51435-51435 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51434-51434 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51433-51433 |
|
|
|
