| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13194-13194 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1347-1347 | Bidding is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 844-844 | Reminding is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8004-8004 | Praying is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16119-16119 | Legal appeal is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29705-29705 | Prompting is a subclass of requesting |
|
|