No TPTP formula. May not be expressible in strict first order. |
WMD.kif 614-614 |
Gastroenteritis is a biochemical agent syndrome of chloropicrin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1364-1364 |
Gastroenteritis is a biochemical agent syndrome of giardia lamblia |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1001-1001 |
Gastroenteritis is a biochemical agent syndrome of salmonella typhimurium |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25574-25574 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25573-25573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25572-25572 |
|