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 |
lethalDose e' relacionado internamente por SUMO a effectiveDose |
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 |
|