No TPTP formula. May not be expressible in strict first order. | Merge.kif 13216-13216 | 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 8003-8003 | Praying is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16118-16118 | Legal appeal is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29693-29693 | Prompting is a subclass of requesting |