Searched defs:description (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/proof_status/ | ||
| H A D | creation_from_ontology.rb | 26 proof_status.description = description(status) 48 def description(status) method in class:ProofStatus.CreationFromOntology.ClassMethods 49 # The description is in the owl-comment of the class. |
Completed in 8 milliseconds