(documentationdomainEnglishLanguage "Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc.")
(documentationdomainSpanishLanguage "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.")
domain