No TPTP formula. May not be expressible in strict first order. |
WMD.kif 589-589 |
GF e' uma sub-classe de GSeriesNerveAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
Sarin e' uma sub-classe de GSeriesNerveAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 580-580 |
Soman e' uma sub-classe de GSeriesNerveAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 575-575 |
Tabun e' uma sub-classe de GSeriesNerveAgent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26832-26832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26831-26831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26830-26830 |
|