| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13240-13240 | 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 837-837 | Reminding is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8031-8031 | Praying is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16146-16146 | Legal appeal is a subclass of requesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29756-29756 | Prompting is a subclass of requesting |
|
|