| Interpreting
| |
| 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 10882-10883 | |
| 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 6639-6639 | |
| 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. | pictureList.kif 7120-7120 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10880-10880 | Interpreting e' uma sub-classe de Processo Psicologico Intencional |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12705-12705 | Ler e' relacionado internamente por SUMO a Interpreting |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30739-30739 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30738-30738 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30737-30737 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10885-10892 |
|
| 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 18201-18218 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |
|
|
|