| 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 12263-12265 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12262-12262 | 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 12267-12267 | Ordering is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12293-12293 | Questioning is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12279-12279 | 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 1620-1620 |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12121-12121 | 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 15092-15097 |
|
|
|
|