| Interpreting(interpreting)
| | appreciate, apprehend, apprehension, bottom, catch_on, cognise, cognize, compass, comprehend, comprehension, construe, cotton_on, dig, discernment, discover, eisegesis, elucidation, explication, fathom, get_it, get_onto, get_the_picture, get_wise, grasp, grok, interpret, know, latch_on, moralise, moralize, mythicise, mythicize, penetrate, read, reading, realisation, realise, realization, realize, recognition, rede, savvy, see, sense, spin, take, take_account, translate, tumble, twig... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2979-2980 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10953-10954 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1739-1740 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6638-6638 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7117-7117 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7118-7118 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7119-7119 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10951-10951 | Interpreting is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12788-12788 | Reading is internally related to interpreting |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30767-30767 | Reading is internally related to interpreting |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30766-30766 | Reading is internally related to interpreting |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30765-30765 | Reading is internally related to interpreting |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10956-10963 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 244-253 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19780-19797 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ |
|
|
|