Requesting(requesting) | ![]() | adjuration, adjuratory, adjure, admonish, advance, advice, advise, advocate, allure, appeal, apply, approach, ask, ask_out, ask_over, ask_round, asking, assess, badger, bear_on, beep, beg, beg_off, beggary, begging, benediction, beseech, beseeching, besiege, bespeak, bid, bidding, bill, billing, blarney, blessing, book_up, bring, bring_around, bring_round, bum, buttonhole, buyout_bid, buzz, by-bid, cadge, cajole, call, call-out, call_for... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3270-3271 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13334-13337 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13333-13333 | Requesting is a subclass of directing |
appearance as argument number 2 |
![]() |
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 17506-17506 | Legal appeal is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9171-9171 | Praying is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31626-31626 | Prompting 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. | chinese_format.kif 1201-1201 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1619-1619 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 879-879 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 412-412 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 415-415 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2563-2563 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 831-831 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 417-417 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 451-451 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 710-710 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 900-900 | Reminding is a subclass of requesting |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 416-416 | Reminding is a subclass of requesting |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |