No TPTP formula. May not be expressible in strict first order. |
WMD.kif 198-198 |
Bacterial agent is a subclass of toxic organism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 213-213 |
Fungal agent is a subclass of toxic organism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 230-230 |
Viral agent is a subclass of toxic organism |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58676-58676 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58675-58675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58674-58674 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 258-258 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 224-224 |
|