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 13200-13202 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13199-13199 | 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 13204-13204 | Ordering is a subclass of directing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13230-13230 | Questioning is a subclass of directing |
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. | 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 13058-13058 | 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 18552-18557 |
|
![]() |
![]() |