No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3930-3930 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3928-3928 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3927-3927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3926-3926 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3923-3923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3925-3925 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3929-3929 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3924-3924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3725-3725 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3259-3259 |
KyrgyzstaniSom e' uma instancia de UnitOfCurrency |