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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Translating
Translating
more pictures...

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


(documentation Translating ChineseLanguage "这是把内容从一个 Language 转换到另外一个语言。这 包括口译(即传译)和笔译。") chinese_format.kif 3209-3210
(documentation Translating EnglishLanguage "Converting content from one Language into another. This covers oral translation (i.e. interpreting) as well as written translation.") Merge.kif 12871-12873
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg") pictureList.kif 8117-8117
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ CiceroBust.jpg") pictureList.kif 6927-6927
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Pendiente_traducir.png") pictureList.kif 8111-8111
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ignacy_Krasicki_1.JPG") pictureList.kif 8107-8107
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Samuel_Johnson_by_Joshua_Reynolds_2.png") pictureList.kif 8109-8109
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Domenico_Ghirlandaio_-_St_Jerome_in_his_study.jpg") pictureList.kif 8108-8108
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Mlmw_mockup_translate.png") pictureList.kif 8112-8112
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Translater_USA_1978.jpg") pictureList.kif 8110-8110
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ WDSC2007_Day1_Interpreter.jpg") pictureList.kif 8116-8116
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Sign_language_interpreter_-_CSD_2006_Cologne_1.jpg") pictureList.kif 8115-8115
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Translation.png") pictureList.kif 8113-8113
(externalImage Translating "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ EP_Translation_booths.jpg") pictureList.kif 8114-8114
(subclass Translating ContentDevelopment) Merge.kif 12869-12869 Translating est une sous-classe de d�veloppement de contenu
(subclass Translating DualObjectProcess) Merge.kif 12870-12870 Translating est une sous-classe de processus requ�rant deux patients

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


(termFormat ChineseLanguage Translating "翻译") domainEnglishFormat.kif 58918-58918
(termFormat ChineseTraditionalLanguage Translating "翻譯") domainEnglishFormat.kif 58917-58917
(termFormat EnglishLanguage Translating "translating") domainEnglishFormat.kif 58916-58916

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 12875-12884


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 3.0 is open source software produced by Articulate Software and its partners