No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2918-2918 |
French franc is a currency value of french franc coin |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3875-3875 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3873-3873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3874-3874 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2917-2917 |
French franc coin is a subclass of coin |