(documentation relatedExternalConcept SpanishLanguage "Usado para significar una relación entre tres partes, un concepto de un fuente de conocimiento exterior, un concept en SUMO y el nombre de otro fuente de conocimiento.")	spanish_format.kif 101-103
(documentation relatedInternalConcept SpanishLanguage "Significa que los dos argumentos son conceptos relacionados en SUMO, por ejemplo, hay una similitud significativa entre sí. Para indicar una relación de significado entre un concepto de SUMO y un concepto del otro fuente, use el predicado relatedExternalConcept.")	spanish_format.kif 97-100
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.")	spanish_format.kif 117-118
(documentation subCollection SpanishLanguage "(subCollection ?COLL1 ?COLL2) significa que la Collection ?COLL1 es una propia parte de la Collection ?COLL2.")	spanish_format.kif 259-260
(documentation subclass SpanishLanguage "(subclass ?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una subclass de ?CLASS2, por ejemplo, cada instance de ?CLASS1 es también una instance de ?CLASS2. Una Class puede tener varias superclases y subclases.")	spanish_format.kif 28-30
(documentation subrelation SpanishLanguage "(subrelation ?REL1 ?REL2) quiere decir que cada tupla de ?REL1 es también tupla de ?REL2. En otras palabras, si la Relation ?REL1 es válida para algunos argumentos arg_1, arg_2, ... arg_n, entonces la Relation ?REL2 es válida para los mismos argumentos. Como consecuencia, una Relation y sus subrelaciones deben tener la misma valence (diátesis gramatical).")	spanish_format.kif 35-39
(documentation subsumedExternalConcept SpanishLanguage "(subsumedExternalConcept ?STRING ?THING ?LANGUAGE) significa que el concepto de SUMO ?THING es subsumido por el significado de ?STRING en ?LANGUAGE. Por ejemplo, el concepto de ?THING es más estrecho que el significado de ?STRING.")	spanish_format.kif 111-114
(documentation subsumingExternalConcept SpanishLanguage "(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) significa que el concepto de SUMO ?THING subsume el significado de ?STRING en ?LANGUAGE, por ejemplo, el concepto ?THING es más amplio en el significado que ?STRING.")	spanish_format.kif 107-110
(documentation successorAttribute SpanishLanguage "(successorAttribute ?ATTR1 ?ATTR2) significa que ?ATTR2 es el Attribute que sigue inmediatamente después de ?ATTR1 en la escala que comparten.")	spanish_format.kif 119-121
(documentation successorAttributeClosure SpanishLanguage "La clausura transitiva de successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) quiere decir que hay cadena de afirmaciones desuccessorAttribute conectando ?ATTR1 y ?ATTR2.")	spanish_format.kif 122-124
(documentation synonymousExternalConcept SpanishLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) significa el concepto de SUMO ?THING tiene el mismo significado como ?STRING en ?LANGUAGE.")	spanish_format.kif 104-106
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar un término en un formato de lenguaje natural.")	spanish_format.kif 70-71
(documentation termFormat SpanishLanguage "Una relación que especifica como presentar una expresión en un formato de lenguaje natural.")	spanish_format.kif 68-69
(documentation valence SpanishLanguage "Especifica el número de argumentos que puede tomar una relación. Si una relación no tiene un número fijo de argumentos, no tiene diátesis y es una instancia de VariableArityRelation.")	spanish_format.kif 60-62
(termFormat ChineseLanguage SpanishLanguage "西班牙语")	domainEnglishFormat.kif 54444-54444
(termFormat ChineseTraditionalLanguage SpanishLanguage "西班牙語")	domainEnglishFormat.kif 54443-54443
(termFormat EnglishLanguage SpanishLanguage "spanish language")	domainEnglishFormat.kif 54442-54442

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