(documentation contraryAttribute SpanishLanguage "Un contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes simultáneamente. Por ejemplo, (contraryAttribute Pliable Rigid) significa que nada puede ser ambos Pliable y Rigid.")	spanish_format.kif 78-81
(documentation disjoint SpanishLanguage "Classes son disjoint sólo si no comparten instancias, por ejemplo, en el caso de aplicar IntersectionFn resulta que están vacías.")	spanish_format.kif 72-74
(documentation disjointDecomposition SpanishLanguage "Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.")	spanish_format.kif 92-93
(documentation disjointRelation SpanishLanguage "Este predicado se relaciona con dos Relations. (disjointRelation ?REL1 ?REL2) significa que las dos relaciones no tienen ninguna tupla en común.")	spanish_format.kif 75-77
(documentation documentation SpanishLanguage "Una relación entre objetos en el dominio de discurso y las cadenas de lenguaje natural dichas en un HumanLanguage particular. El dominio de documentation no es de las constantes (nombres), sino los mismos objetos. Eso quiere decir que no se cita los nombres cuando se asocian con la documentación.")	spanish_format.kif 63-67
(documentation domain SpanishLanguage "Provee un mecanismo computacionalmente y de manera heurística conveniente para declarar los tipos de argumentos en una relación dada. La fórmula (domain ?REL ?INT ?CLASS) significa que el ?INT-ésimo elemento de cada tupla en la relación ?REL debe ser una instancia de ?CLASS. Especificar los tipos de argumentos es muy util para mantener una ontología. Los sistemas de representación pueden usar estas especificaciones para clasificar términos y verificar las restricciones de integridad. Si la restricción en el tipo de argumento Relation no es capturado por un SetOrClass ya definido, se puede especificar un SetOrClass composicionalmente con las funciones UnionFn, IntersectionFn, etc.")	spanish_format.kif 40-48
(documentation domainSubclass SpanishLanguage "Un Predicate que se usa para especificar las restricciones de tipos de argumentos de Predicates. La fórmula (domainSubclass ?REL ?INT ?CLASS) significa que el ?INT-ésimo elemento de cada tupla de la relación ?REL debe ser una subclase de ?CLASS.")	spanish_format.kif 49-52
(documentation entails SpanishLanguage "El operador de consecuencia lógica. (entails ?FORMULA1 ?FORMULA2) significa que se puede derivar ?FORMULA2 de ?FORMULA1 por medio de la teoría de la demostración de SUO-KIF.")	spanish_format.kif 128-130
(documentation equal SpanishLanguage "(equal ?ENTITY1 ?ENTITY2) es verdadero por si acaso ?ENTITY1 es idéntico a ?ENTITY2.")	spanish_format.kif 53-54
(documentation exhaustiveAttribute SpanishLanguage "Este predicado se relaciona una Class a un conjunto de Attributes, y significa que los elementos del conjunto agotan las instancias de la Class. Por ejemplo, (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) significa que sólo hay cinco instancias de la clase PhysicalState, viz. Solid, Fluid, Liquid, Gas y Plasma.")	spanish_format.kif 82-86
(documentation exhaustiveDecomposition SpanishLanguage "Una exhaustiveDecomposition de una Class C es un conjunto de la subclase C de tal manera que cada instancia de C es una instancia de una de las subclases del conjunto. Nota: Eso no significa necesariamente que los elementos del conjunto son disjuntos. (Véase partition - una partition es una descomposición exhaustiva y disjunta).")	spanish_format.kif 87-91
(documentation externalImage SpanishLanguage "Una enlace entre una entidad y un URL que representa o ejemplifica un término de alguna manera.")	spanish_format.kif 115-116
(documentation greaterThanByQuality SpanishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) significa que ?ENTITY1 tiene más de la cualidad dada ?ATT que ?ENTITY2.")	spanish_format.kif 125-127
(documentation immediateInstance SpanishLanguage "Un objeto es una immediateInstance de un SetOrClass si es una instance del SetOrClass y si no es una instance de una propia subclase SetOrClass.")	spanish_format.kif 21-23
(documentation immediateSubclass SpanishLanguage "Un SetOrClass ?CLASS1 es una immediateSubclass de otro SetOrClass ?CLASS2 por si acaso ?CLASS1 es una subclase de ?CLASS2 y no hay otra subclase de ?CLASS2 tal que ?CLASS1 es también otra subclase de ella .")	spanish_format.kif 31-34
(documentation instance SpanishLanguage "Un objeto es una instance de un SetOrClass si es incluido en el SetOrClass. Un individuo puede ser una instance de muchas clases, en algunas de las cuales pueden ser una subclase de otros. Desde este modo, no hay asunción en el significado de instance sobre especificidad o unicidad.")	spanish_format.kif 17-20
(documentation inverse SpanishLanguage "El inverso de una BinaryRelation es una Relation en la que todas las tuplas de la Relation original son revertidas. En otras palabras, una BinaryRelation es el inverso del otro si son equivalentes cuando sus argumentos son intercambiados.")	spanish_format.kif 24-27
(documentation material SpanishLanguage "(material ?SUBSTANCE ?OBJECT) quiere decir que ?OBJECT es formado estructuralmente en parte de ?SUBSTANCE. Esta relación abarca los conceptos de «compuesto por», «hecho por» y «formado por». Por ejemplo, plástico es una material de la pantalla de la computadora. Compare parte y sus subrelaciones viz. component y piece.")	spanish_format.kif 184-188
(documentation member SpanishLanguage "Una noción especializada de sentido común para las partes uniformes de Collections. Por ejemplo, cada oveja en un rebaño tendría la relación de «miembro» de rebaño.")	spanish_format.kif 256-258
(documentation part SpanishLanguage "La relación básica de mereología. Todas otras relaciones mereológicas son definidas en términos de ella. (part ?PART ?WHOLE) simplemente quiere decir el Object ?PART es parte del Object ?WHOLE. Note que, porque part es una ReflexiveRelation, cada Object es parte de consigo misma.")	spanish_format.kif 168-171
(documentation partition SpanishLanguage "Una partition de una Class C es un conjunto de clases mutuamente disjoint (una partición de la subclase) en la que cubre a C. Cada instancia de C es exactamente una de las subclases en la partición.")	spanish_format.kif 94-96
(documentation piece SpanishLanguage "Una noción de sentido común especializada para piezas arbitrarias de Substances. Los cuasi sinónimos son pedazo, trozo y cacho. Compare component, otra subrelación de part.")	spanish_format.kif 175-177
(documentation properPart SpanishLanguage "(properPart ?OBJ1 ?OBJ2) quiere decir que ?OBJ1 es una parte de ?OBJ2 aparte de ?OBJ2 mismo. Esta es una TransitiveRelation y AsymmetricRelation (y por lo tanto IrreflexiveRelation).")	spanish_format.kif 172-174
(documentation range SpanishLanguage "Da el rango de una función. En otras palabras, (range ?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son instances de ?CLASS.")	spanish_format.kif 55-57
(documentation rangeSubclass SpanishLanguage "(rangeSubclass ?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son subclasses de ?CLASS.")	spanish_format.kif 58-59
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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