more pictures...
| Translating(translating)
more pictures... | | dub, interpret, mistranslate, render, retranslate, translate |
| appearance as argument number 1 |
|
|
| (subclass Translating ContentDevelopment) | Merge.kif 12906-12906 | Translating is a subclass of content development |
| (subclass Translating DualObjectProcess) | Merge.kif 12907-12907 | Translating is a subclass of dual object process |
| (documentation Translating EnglishLanguage "Converting content from one Language into another. This covers oral translation (i.e. interpreting) as well as written translation.") | Merge.kif 12908-12910 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ CiceroBust.jpg") | pictureList.kif 6927-6927 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ignacy_Krasicki_1.JPG") | pictureList.kif 8107-8107 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Domenico_Ghirlandaio_-_St_Jerome_in_his_study.jpg") | pictureList.kif 8108-8108 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Samuel_Johnson_by_Joshua_Reynolds_2.png") | pictureList.kif 8109-8109 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Translater_USA_1978.jpg") | pictureList.kif 8110-8110 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Pendiente_traducir.png") | pictureList.kif 8111-8111 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Mlmw_mockup_translate.png") | pictureList.kif 8112-8112 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Translation.png") | pictureList.kif 8113-8113 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ EP_Translation_booths.jpg") | pictureList.kif 8114-8114 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Sign_language_interpreter_-_CSD_2006_Cologne_1.jpg") | pictureList.kif 8115-8115 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ WDSC2007_Day1_Interpreter.jpg") | pictureList.kif 8116-8116 | Translating is a subclass of dual object process |
| (externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg") | pictureList.kif 8117-8117 | Translating is a subclass of dual object process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?TRANSLATE Translating) (patient ?TRANSLATE ?EXPRESSION1) (result ?TRANSLATE ?EXPRESSION2)) (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY) (and (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1) (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2) (not (equal ?LANGUAGE1 ?LANGUAGE2))))) |
Merge.kif 12912-12921 | If X is an instance of translating, Y is a patient of X, and Z is a result of X, then there exist W, V, U such that Y represents U in the language W, Z represents U in the language V, equal W, and V |
|
|
|