No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 205-208 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10784-10784 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10779-10779 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10781-10781 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10780-10780 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9968-9968 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10782-10782 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10783-10783 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 203-203 |
Dangerous e' uma instancia de Atributo Subjectivo |