| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12896-12896 | Perseguir e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2342-2342 | SearchAttempt e' uma sub-classe de Perseguir |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12921-12921 | Hunting e' uma sub-classe de Perseguir |
|
|