Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Translating
Translating(translating)
more pictures...
dub, interpret, mistranslate, render, retranslate, translate, translating

appearance as argument number 1
-------------------------


(documentation Translating ChineseLanguage "这是把内容从一个 Language 转换到另外一个语言。这 包括口译(即传译)和笔译。") Merge.kif 12659-12660
(documentation Translating EnglishLanguage "Converting content from one Language into another. This covers oral translation (i.e. interpreting) as well as written translation.") Merge.kif 12656-12658
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg") pictureList.kif 8120-8120 "http://upload.wikimedia.org/wikipedia/commons/0/0a/ IraqiInterpreter.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ CiceroBust.jpg") pictureList.kif 6929-6929 "http://upload.wikimedia.org/wikipedia/commons/2/23/ CiceroBust.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Pendiente-traducir.png") pictureList.kif 8114-8114 "http://upload.wikimedia.org/wikipedia/commons/4/40/ Pendiente-traducir.png" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ignacy_Krasicki_1.JPG") pictureList.kif 8110-8110 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Ignacy_Krasicki_1.JPG" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Samuel_Johnson_by_Joshua_Reynolds_2.png") pictureList.kif 8112-8112 "http://upload.wikimedia.org/wikipedia/commons/5/50/ Samuel_Johnson_by_Joshua_Reynolds_2.png" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Domenico_Ghirlandaio_-_St_Jerome_in_his_study.jpg") pictureList.kif 8111-8111 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Domenico_Ghirlandaio_-_St_Jerome_in_his_study.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Mlmw-mockup-translate.png") pictureList.kif 8115-8115 "http://upload.wikimedia.org/wikipedia/commons/5/58/ Mlmw-mockup-translate.png" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Translater_USA_1978.jpg") pictureList.kif 8113-8113 "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Translater_USA_1978.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ WDSC2007_Day1_Interpreter.jpg") pictureList.kif 8119-8119 "http://upload.wikimedia.org/wikipedia/commons/6/6c/ WDSC2007_Day1_Interpreter.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Sign_language_interpreter_-_CSD_2006_Cologne_1.jpg") pictureList.kif 8118-8118 "http://upload.wikimedia.org/wikipedia/commons/9/98/ Sign_language_interpreter_-_CSD_2006_Cologne_1.jpg" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Translation.png") pictureList.kif 8116-8116 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Translation.png" is a URL depicting translating
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ EP_Translation_booths.jpg") pictureList.kif 8117-8117 "http://upload.wikimedia.org/wikipedia/commons/c/c9/ EP_Translation_booths.jpg" is a URL depicting translating
(subclass Translating ContentDevelopment) Merge.kif 12654-12654 Translating is a subclass of content development
(subclass Translating DualObjectProcess) Merge.kif 12655-12655 Translating is a subclass of dual object process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Translating "translating") domainEnglishFormat.kif 10247-10247 "translating" is the printable form of translating in english language

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 12662-12671


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners