GermanicLanguage 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 31644-31644 | 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 |