BlisterAgent
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1457-1457 | biochemicalAgentDelivery Saxitoxin and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1456-1456 | biochemicalAgentDelivery Saxitoxin and ing�rer |
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 mollusque |
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 31680-31680 | roomTempState Saxitoxin and Solid |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | Saxitoxin est une sous-classe de substance corporel |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | Saxitoxin est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | Saxitoxin est une sous-classe de Toxin |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51437-51437 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51436-51436 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51435-51435 |