en.yml revision 908d37cfe7f3316562011ad7f90bf9ce5cad6e41
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose# Sample localization file for English. Add more files in this directory for other locales.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose# See https://github.com/svenfuchs/rails-i18n/tree/master/rails%2Flocale for starting points.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Boseen:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose admin_deletion_error_message: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose You probably shouldn't remove this account, as deleting
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose it would leave the system with too few admins.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose The threshold level is: %{minimal_count}.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose wait: 'Please wait …'
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose relation_list:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose team_user:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose placeholder: Add users to your team
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose help: Enter at least three characters or complete e-mail addresses to start searching.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose permission:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose placeholder: Add teams or users
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose help: Enter at least three characters to search for users or teams.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose support:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose placeholder: 'Add a support'
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose help: Enter at least three characters to search for a support
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose search:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose help: "Enter all words that must be included in the symbols. You can search a special kind by adding a 'kind:<value>'"
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose support:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose placeholder:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose language: Support an new logic
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose logic: Support an new language
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose help:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose language: Enter characters to search for a logic
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose logic: Enter characters to search for a language
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose Mapping: Ontology-Mapping
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose LogicMapping: Logic-Mapping
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose repositories:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose index:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose clone_list_prefix: There is also a complete list of
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose clone_list_link: repository clone-urls
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose repository:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete: Delete Repository
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_error: "Can't delete repository: It contains %{oms} that is imported by another repository."
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose deleted: Deleted
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose deleting_at: 'This repository will be deleted irreversibly '
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose undelete:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose headline: Undelete Repository
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose description:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose If you undelete this repository, it will be accessible again with the same permissions as before the deletion.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose button: Undelete Repository
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose undestroy:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose success: Successfully undeleted the Repository.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose failure: Cannot undelete the Repository - It has already been completely removed.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose errors: Errors
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose permissions: Permissions
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose edit: Edit repository
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose urlmaps: Url Catalog
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose access:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose change_hint: 'Caution! When setting the repository public, all reader permissions are removed.'
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose options:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose private_r: Private readable
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose private_rw: Private readable and writable
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose public_r: Public readable
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose public_rw: Public readable and writable
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose remote_type:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose text: A mirror will be synchronized periodically. A fork is just a one-time copy.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose un_mirror:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose label: Un-mirror
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose text: If you un-mirror this repository, it won't get synchronized with the remote reposoitory any more. There is no possibility to synchronize it ever again.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose repository_directory:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose create: Successfully created directory "%{name}".
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose create_additional: "That is, the following directories have been created: %{directories}"
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose form:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose submit: Create subdirectory
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose placeholder:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose name: Directory name
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose hint:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose slashes: Use slashes to directly create subdirectories.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose ontology:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete: Delete
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_error: Can't delete an %{oms} that's imported by another one.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_confirm:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose text: "Really delete the ontology %{name}?\n\nThe %{parent_text}%{children_text}defining file %{path} will be deleted as well."
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose parent: 'parent ontology including its children and the '
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose children: 'subontologies and the '
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose permission:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_header: Are you sure you want to delete the permission?
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_desc: If you remove this %{role} permission, %{subject} won't be able to access the %{class} %{item} according to it.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_btn: Delete Permission
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose errors:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose falling_short_of_owner_count: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose You can't remove this owner permission, as deleting
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose it would leave the %{item} with too few owners.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose The threshold level is: %{minimal_count}.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose files:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose discard: Discard
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose discard_confirmation: You made changes to the code. Are you sure you want to discard them?
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose discard_desc: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose If you discard the changes, the textarea on the left will be reset to the previous state.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose This action is irreversible!
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose sentences:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose index:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose display_only_self_defined_sentences:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose Currently we display only self-defined sentences.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose to_display_only_self_defined_sentences:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose to display only the self-defined sentences.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose display_all_sentences:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose Currently we display all sentences, self-defined and imported
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose ones.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose to_display_all_sentences:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose to display all related sentences (including translations/blendoids).
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose sentence:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose defined_in:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose defined in %{link}
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose theorems:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose index:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose prove: Prove all theorems
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose all_proven: All theorems of this %{oms} have been proven.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose show:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose proof_attemps_empty: There are no proof attempts.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose prove:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose create:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose starting_jobs: Proving jobs have been scheduled. Please come back in a few moments.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose nothing_to_do: All theorems have been proven.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose proof_attempts:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose show:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose head: Proof Attempt of
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose created_at: Date
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose time_taken: Time taken
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose used_axioms: Used axioms
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose no_used_axioms: None. This theorem is a tautology.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose prover: Prover
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose tactic_script: Tactic script
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose prover_output: Prover output
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose have:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose one: has
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose other: have
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose signup:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose welcome: Welcome %{name}
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose what_happens: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose For full qualified access to Ontohub you have to confirm your e-mail address.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose We have sent an mail with instructions for you.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose wiki: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose You can find more information about Ontohub in the %{link}.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose Moreover, context specific information is available with the "Help" button, leading to a specfic wiki page.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose need_help: Need Help?
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_repository: Are you sure about deleting the Repository?
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete_repository_desc: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose If you delete this repository, all ontologies, which are related to this repository, will be deleted too.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose This action is irreversible!
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose cancel: Cancel
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose edit: Edit
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose delete: Delete
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose status:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose processing_ontologies: Ontologies that are being processed
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose information_title: Information related to the status
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose information_description: |
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose This contains information about different aspects of the
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose application that might be relevant for administrative and
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose error-finding purposes.
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose no_iri:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose no processing iri
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose errored_ontologies: Ontologies which encountered errors during evaluation
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose details: Details
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose ontology_count_by_state: Ontologies-count by state
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose iris_marked_as_processing: Count of iris that are processing
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose overview: Overview
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose other_data: Other data
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose ontologies:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose download: download
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose oops:
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose responses: We have %{all} Responses, %{global} of them represent global
2ef62c64e7f07c8aced3f72850008ecb72860162Sumit Bose