| 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 13317-13319 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13316-13316 | 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 13321-13321 | Ordering is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13347-13347 | Questioning is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13333-13333 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1199-1199 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1615-1615 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 877-877 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 410-410 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 413-413 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2561-2561 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 829-829 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 415-415 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 449-449 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 708-708 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 898-898 | Requesting is a subclass of directing |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 414-414 | Requesting is a subclass of directing |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13175-13175 | 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 20124-20129 |
|
|
|
|