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 |
DengueFever est une instance de ViralDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1647-1647 |
DengueFever est reli� � l'int�rieur de SUMO � DengueHemorrhagicFever |