Searched defs:szs_ontology (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/models/proof_status/
H A Dcreation_from_ontology.rb9 szs_ontology.subclasses('Problem_Status')
32 label_sentence = szs_ontology.sentences.
56 szs_ontology.superclass_of?(SOLVED_STATUS, status)
61 def szs_ontology method in class:ProofStatus.CreationFromOntology.ClassMethods
62 @szs_ontology ||= Repository.find_by_path('meta').ontologies.where(
69 @symbols_by_name[status] ||= szs_ontology.symbols.find_by_name(status)

Completed in 9 milliseconds