Searched refs:all_axioms (Results 1 - 2 of 2) sorted by relevance

/ontohub/app/models/
H A Dsine_axiom_selection.rb73 ontology.all_axioms.joins(:symbols).where(:'symbols.id' => symbol.id).count
77 ontology.all_axioms.each do |axiom|
H A Dontology.rb150 def all_axioms method

Completed in 8 milliseconds