Searched defs:select_axioms_by_sentence (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | sine_axiom_selection.rb | 125 new_axioms = select_axioms_by_sentence(sentence) - @selected_axioms 130 def select_axioms_by_sentence(sentence) method in class:SineAxiomSelection.other_finished_sine_axiom_selections |
Completed in 8 milliseconds