No TPTP formula. May not be expressible in strict first order. |
People.kif 1514-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6993-6993 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8315-8315 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8316-8316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8317-8317 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1513-1513 |
Zoroastrian e' uma instancia de ReligiousAttribute |