formal ontology

/F AO1 R M AH0 L AA0 N T AA0 L AH0 JH IY0/
noun
  1. 1

    An ontology with a structure that is guided and defined through axioms.