Lines Matching defs:axiom
17 register :axiom, :end, to: :axiom
95 type1: 'axiom',
102 def axiom(current_element)
104 axiom = ontology.axioms.update_or_create_from_hash(
109 logic_callback.axiom(current_element, axiom)
117 class: 'axiom',
128 axiom = ontology.axioms.update_or_create_from_hash(
133 logic_callback.axiom(current_element, axiom)
141 class: 'axiom',
165 type1: 'axiom',