No TPTP formula. May not be expressible in strict first order. |
People.kif 738-740 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5954-5954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6359-6359 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6360-6360 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6361-6361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6363-6363 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 737-737 |
Deist e' uma instancia de Atributo Interno |