Translating - Sigma Knowledge base Browser

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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3209-3210
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12732-12734
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8118-8118
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6928-6928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8112-8112
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8108-8108
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8110-8110
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8109-8109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8113-8113
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8111-8111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8117-8117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8116-8116
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8114-8114
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8115-8115
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12730-12730	Translating is a subclass of content development
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12731-12731	Translating is a subclass of dual object process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58934-58934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58933-58933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58932-58932

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12736-12745

If a process is an instance of translating and a linguistic expression is a patient of the process and another linguistic expression is a result of the process,
then there exist a language, another language and an entity such that the linguistic expression represents the entity in the language the language and the other linguistic expression represents the entity in the language the other language and the language is not equal to the other language

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