TreeView Knowledge Base Browser - Translating

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

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 12754-12756
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 12752-12752	Translating est une sous-classe de d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12753-12753	Translating est une sous-classe de processus requ�rant deux patients

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 12758-12767

Processus est une instance de Translating expression linguistique est un patient de processus expression linguistique est le resultat de processus
langage langage and entit� expression linguistique repr�sente entit� dans le langage langage expression linguistique repr�sente entit� dans le langage langage langage est langage

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

Show without tree

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