No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1648-1649 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6367-6367 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6370-6370 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6368-6368 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6369-6369 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5957-5957 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1646-1646 |
例 登革熱 and 病毒性疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1647-1647 |
相關的內部概念 登革熱 and 登革熱出血熱 |