Para identificar una proposición se utilizan, los textos que constituyen la definición en el lenguaje natural de lo que se está representando.
La redacción de los textos es responsabilidad del Ingeniero de Conocimientos.
Si se considera como texto básico afirmativo de una proposición el siguiente:
El paciente tiene dolor de cabeza
entonces, el texto básico negativo, que puede ser redactado libremente, debe expresar de alguna forma que:
El paciente no tiene dolor de cabeza
puesto que de lo contrario, se estaría introduciendo una incongruencia no detectable automáticamente.
El paciente presenta dolor de cabeza
entonces se podría pensar que se está construyendo la misma estructura anterior, y sin embargo, a no ser que se declare explícitamente que son equivalentes, estas estructuras serán consideradas como diferentes.
Otros textos (Txj)
Existen otros tipos de textos asociados a las proposiciones, que son las explicaciones con las que se pueden incluir aclaraciones sobre el significado de las proposiciones, brindar definiciones si es que se necesitan y esclarecer su papel en la BC según su uso.
Tipos de texto
La estructura proposición presenta dos tipos de textos, que son:
Estos textos se almacenan físicamente en un archivo independiente al resto de los parámetros de la estructura proposición.

Adquisición de los textos
En el editor de textos aparecen tres sesiones de trabajo:
Formato de los textos
El formato se asigna al texto por medio de una combinación de caracteres especiales:
caracteres   |
|
Como en cualquier editor de textos, es posible asignar color de letras o bien color de fondo a un párrafo o sección de texto dado, para lograrlo, la combinación de caracteres es el siguiente:
caracteres   |
asigna   |
Donde el carácter # corresponde al número de color que se desee tome el texto o el fondo. En el caso del texto el color implícito es el negro # = 0; en el caso del fondo, el color implícito es el blanco # = 15.
A continuación se muestra la tabla de colores con su numero, color y el RGB (Red, Green, Blue)
estándar |
||
Ejemplo del uso de los formularios
Textos dinámicos
Cuando se trabaja en forma dinámica los textos de Proposiciones y Variables, se toma el convenio de escribir:
Convenio sobre los textos
Se sustituye el texto por:
Ejemplo de sustitución de textos
Supongamos el texto: