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 |
相關的內部概念 致死劑量 and 有效劑量 |
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 |
|