No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 831-831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 830-830 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 845-845 |
lethal dose is internally related to effective dose |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21294-21294 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21293-21293 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21292-21292 |
|