No TPTP formula. May not be expressible in strict first order. | Merge.kif 12874-12874 | Pursuing is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2342-2342 | Search attempt is a subclass of pursuing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12899-12899 | Hunting is a subclass of pursuing |