| Directing(directing) | | PR, abetment, abettal, advancement, advise, ballyhoo, battle_cry, bell_ringing, beseechingly, blandishment, blarney, briefing, burden, cajolery, call, call_in, canvassing, career_counseling, charge, cheering, coaxing, command, command_line, convert, convince, counsel, counseling, counselling, cynosure, deluge, demand, despatch, direction, disarm, dispatch, dissuasion, electioneering, entreatingly, exhortation, flood_out, fosterage, fostering, function_call, furtherance, genetic_counseling, goad, goading, guidance, hoopla, hype... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3265-3266 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13178-13180 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13177-13177 | Directing is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13182-13182 | Ordering is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13208-13208 | Questioning is a subclass of directing |
| 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. | chinese_format.kif 1199-1199 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1615-1615 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 877-877 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 410-410 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 413-413 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2561-2561 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 829-829 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 415-415 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 449-449 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 898-898 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 414-414 |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13036-13036 | Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18553-18558 |
|
|
|
|